@article{AJM02ENTCS,
author = "Antoy, S. and {Juli\'an} Iranzo, P. and Massey, B.",
title = "Improving the Efficiency of Non-Deterministic Computations",
journal = "Electronic Notes in Theoretical Computer Science",
year = "2002",
volume = "64",
pages = "22",
note = "URL: {\tt http://www.elsevier.nl/locate/entcs/volume64.html}"
}