The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model.

Vtor Santos Costa, David H. D. Warren, Rong Yang

Browse the full ICLP paper archive.