| |
| 2006 | ||
|---|---|---|
| 3 | EE | Kaustuv Chaudhuri, Frank Pfenning, Greg Price: A Logical Characterization of Forward and Backward Chaining in the Inverse Method. IJCAR 2006: 97-111 |
| 2005 | ||
| 2 | EE | Kaustuv Chaudhuri, Frank Pfenning: A Focusing Inverse Method Theorem Prover for First-Order Linear Logic. CADE 2005: 69-83 |
| 1 | EE | Kaustuv Chaudhuri, Frank Pfenning: Focusing the Inverse Method for Linear Logic. CSL 2005: 200-215 |
| 1 | Frank Pfenning | [1] [2] [3] |
| 2 | Greg Price | [3] |