Yves Bekkers Lucien Ungaro Real-Time Memory Management for Prolog. 1-12 1991 conf/lpar/1991 RCLP db/conf/lpar/lpar90.html#BekkersU91 http://dx.doi.org/10.1007/3-540-55460-2_1