@INPROCEEDINGS{AntoyJulianMassey01WFLP,
author = "Antoy, S. and Massey, B. and {Juli\'an} Iranzo, P.",
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)",
}