"A Region-Based Memory Manager for Prolog."

Henning Makholm (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics