%0 Conference Paper %1 conf/cade/HodasT01 %A Hodas, Joshua S. %A Tamura, Naoyuki %B IJCAR %D 2001 %E Goré, Rajeev %E Leitsch, Alexander %E Nipkow, Tobias %I Springer %K dblp %P 670-684 %T lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#HodasT01 %V 2083 %@ 3-540-42254-4

@inproceedings{conf/cade/HodasT01, added-at = {2018-11-02T00:00:00.000+0100}, author = {Hodas, Joshua S. and Tamura, Naoyuki}, biburl = {https://www.bibsonomy.org/bibtex/271f7e87e1a32019bb6c4f0da3f35b57c/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2001}, editor = {Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias}, ee = {https://doi.org/10.1007/3-540-45744-5_55}, interhash = {c6fef73b6327a3e831d0442504b6e165}, intrahash = {71f7e87e1a32019bb6c4f0da3f35b57c}, isbn = {3-540-42254-4}, keywords = {dblp}, pages = {670-684}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:20.000+0200}, title = {lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#HodasT01}, volume = 2083, year = 2001 }