Heap memory management in prolog with tabling: Principles and practice (2001)

by B Demoen, K Sagonas
Venue:Journal of Functional and Logic Prog