## Joshua S. Hodas, Naoyuki Tamura

*lolliCop — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic*

IJCAR, 2001.

@inproceedings{IJCAR-2001-HodasT, author = "Joshua S. Hodas and Naoyuki Tamura", booktitle = "{Proceedings of the First International Joint Conference on Automated Reasoning}", doi = "10.1007/3-540-45744-5_55", isbn = "3-540-42254-4", pages = "670--684", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{lolliCop — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic}", volume = 2083, year = 2001, }