A proof-theoretic approach to logic programming. II. Programs as definitions (1991)

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