S. Kaplan Algorithmic Complexity of Logic Programs. 780-793 1988 ICLP/SLP db/conf/iclp/iclp88.html#Kaplan88