Reform Prolog: The Language and Its Implementation.

Johan Bevemyr Thomas Lindgren Håkan Millroth Reform Prolog: The Language and Its Implementation. 283-298 1993 ICLP db/conf/iclp/iclp93.html#BevemyrLM93