Vítor Santos Costa, David H. D. Warren, Rong Yang
The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model
ICLP, 1991.
@inproceedings{ICLP-1991-CostaWY91a,
author = "Vítor Santos Costa and David H. D. Warren and Rong Yang",
booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}",
isbn = "0-262-56058-5",
pages = "825--839",
publisher = "{MIT Press}",
title = "{The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model}",
year = 1991,
}