The execution algorithm of Mercury: an ecient purely declarative logic programming language (1996)

by Zoltan Somogyi, Fergus Henderson, Thomas Conway
Venue:Journal of Logic Programming