Logic Programming with Focusing Proofs in Linear Logic, (1992)

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