A Focusing Inverse Method Theorem Prover for First-Order Linear Logic.

Kaustuv Chaudhuri, Frank Pfenning

Browse the full CADE paper archive.