The Andorra-I Engine: A parallel implementation of the Basic Andorra model (1991)

by Rong Yang, V'itor Santos Costa, David H D Warren
Venue:In Proceedings of the Eighth International Conference on Logic Programming