A Proof-Theoretic Approach to Logic Programming. 1. Clauses as rules (1990)

by L Hallnäs, P Schroeder-Heister
Venue:Journal of Logic and Computation