Timo Knuutila Efficient Prolog Programming. 209-221 1992 22 Softw., Pract. Exper. 3 db/journals/spe/spe22.html#Knuutila92