Logic Programming with Focusing Proofs in Linear Logic (1992)

Cached

Download Links

by Jean-marc Andreoli
Venue:Journal of Logic and Computation
Citations:333 - 8 self