Mercury: an ecient purely declarative logic programming language (1995)

by Zoltan Somogyi, Fergus Henderson, Thomas Conway
Venue:In Proceedings of the Australian Computer Science Conference