The execution algorithm of mercury, an efficient purely declarative logic programming language (1996)

by Z Somogyi, F J Henderson, T C Conway
Venue:Journal of Logic Programming