"Dynamic Memory Management for Sequential Logic Programming Languages."

Yves Bekkers, Olivier Ridoux, Lucien Ungaro (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics