A Prolog Implementation of a Large System on a Small Machine.

Luís Moniz Pereira António Porto A Prolog Implementation of a Large System on a Small Machine. 225-229 1982 ICLP db/conf/iclp/iclp82.html#PereiraP82