lolliCoP -- A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic (2001)

by Joshua S. Hodas, Naoyuki Tamura
Venue:PROCEEDINGS OF IJCAR: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING, NUMBER 2083 IN LNCS