DMCA
Logic Programming with Focusing Proofs in Linear Logic (1992)
by
Jean-marc Andreoli
Venue: | Journal of Logic and Computation |
Citations: | 419 - 8 self |