%0 Conference Paper %1 conf/fsttcs/BasinM93 %A Basin, David A. %A Matthews, Seán %B FSTTCS %D 1993 %E Shyamasundar, R. K. %I Springer %K dblp %P 151-160 %T A Conservative Extension of First-order Logic and Its Application to Theorem Proving. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs93.html#BasinM93 %V 761 %@ 3-540-57529-4

@inproceedings{conf/fsttcs/BasinM93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Basin, David A. and Matthews, Seán}, biburl = {https://www.bibsonomy.org/bibtex/2a12bbdb19938d297024d94b47cee4506/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/1993}, editor = {Shyamasundar, R. K.}, ee = {https://doi.org/10.1007/3-540-57529-4_50}, interhash = {cbfc3880cd9dd9a1072c989cdee6e9fa}, intrahash = {a12bbdb19938d297024d94b47cee4506}, isbn = {3-540-57529-4}, keywords = {dblp}, pages = {151-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:02.000+0200}, title = {A Conservative Extension of First-order Logic and Its Application to Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs93.html#BasinM93}, volume = 761, year = 1993 }