Logic programming with focusing proofs in linear logic (1992)

by J-M Andreoli
Venue:J. of Logic and Computation