ISMM 1992Dynamic Revision of Choice Points during Garbage Collection in Prolog [II/III]Jean François PiqueDOI 10.1007/bfb0017199dblpBibTeXAbstract elided by the publisher.