@INPROCEEDINGS{AJM01WFLP, author = "Antoy, S. and {Juli\'an} Iranzo, P. and Massey, B.", title = "Improving the Efficiency of Non-Deterministic Computations", year = "2001", month = "Sept.", address = "Kiel, Germany", pages = "17-30", booktitle = "Proc.\ of the 10th International Workshop on Functional and Logic Programming and 16th Workshop on Logic Programming (WFLP'01)", note = "Also available at {\tt http://www.cs.pdx.edu/\~antoy/}" }