A proof-theoretic analysis of goal-directed provability (1994)

by J Harland
Venue:Journal of Logic and Computation