Heap memory management in Prolog with tabling: Practice and experience (2001)

by B Demoen, K Sagonas
Venue:J. of Functional and Logic Programm