The execution algorithm of Mercury, an e#cient purely declarative logic programming language (1996)

by Z Somogyi, F Henderson, T Conway
Venue:JLP