A proof-theoretic approach to logic programming: I. Clauses as rules. II. Programs as definitions. (1990)

by L Hallnas, P Schroeder-Heister
Venue:Journal of Logic and Computation,