%0 Conference Paper %1 conf/cade/Pfenning88 %A Pfenning, Frank %B CADE %D 1988 %E Lusk, Ewing L. %E Overbeek, Ross A. %I Springer %K dblp %P 710-713 %T Single Axioms in the Implicational Propositional Calculus. %U http://dblp.uni-trier.de/db/conf/cade/cade88.html#Pfenning88 %V 310 %@ 3-540-19343-X

@inproceedings{conf/cade/Pfenning88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/26008093c1d5efbffb5a7e8f99f65effa/dblp}, booktitle = {CADE}, crossref = {conf/cade/1988}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, ee = {https://doi.org/10.1007/BFb0012869}, interhash = {30566e6273206c42c3b019c51450d4dd}, intrahash = {6008093c1d5efbffb5a7e8f99f65effa}, isbn = {3-540-19343-X}, keywords = {dblp}, pages = {710-713}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:05.000+0200}, title = {Single Axioms in the Implicational Propositional Calculus.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade88.html#Pfenning88}, volume = 310, year = 1988 }