Georg Gottlob;Alexander Leitsch
-;-
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
An Algorithm for the Retrieval of Unifiers from Discrimination Trees
Journal of Automated Reasoning