Toramatsu Shintani A Fast Prolog-Based Production System KORE/IE. 26-41 1988 ICLP/SLP db/conf/iclp/iclp88.html#Shintani88