L. Ümit Yalçinalp
British Petroleum
OLD resolution with tabulation
Proceedings on Third international conference on logic programming
The craft of Prolog