A Memory Management Machine for Prolog Interpreter.

Yves Bekkers Bernard Canet Olivier Ridoux Lucien Ungaro A Memory Management Machine for Prolog Interpreter. 343-353 1984 ICLP db/conf/iclp/iclp84.html#BekkersCRU84