An Incremental Garbage Collector for WAM-Based Prolog. - William J. Older; John A. Rummell (JICSLP, 1992)