Logic Programming with Focusing Proofs in Linear Logic (1992)

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