Logic programming with focusing proofs in linear logic (1992)

by Jean-Marc Andreoli
Venue:Journal of Logic and Computation