"Dynamic Revision of Choice Points during Garbage Collection in Prolog ..."

Jean François Pique (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics