The need for Ancestor Resolution when answering queries in Horn clause logic
Oliver Ray, The need for Ancestor Resolution when answering queries in Horn clause logic. 21st International Conference on Logic Programming. M. Gabrielli, G. Gupta, (eds.), pp. 410–411. October 2005. PDF, 197 Kbytes.Abstract
Extended Abstract