James Harland A Proof-Theoretic Analysis of Goal-Directed Provability. 69-88 1994 4 J. Log. Comput. 1 db/journals/logcom/logcom4.html#Harland94