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

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