@techreport{ CaferraSalzer98,
  author = {Caferra, R. and Salzer, G.},
  year = {1998},
  title = {First-order Theorem Proving---{FTP'98}: {Proceedings of 2nd International Workshop}},
  number = {E1852-GS-981},
  institution = {Technische Universität Wien},
  address = {Vienna, Austria}
}

{"_id":{"_str":"52015028d40bcbb0410008b4"},"__v":0,"authorIDs":[],"author_short":["Caferra, R.","Salzer, G."],"bibbaseid":"caferra-salzer-firstordertheoremprovingftp98proceedingsof2ndinternationalworkshop-1998","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"CaferraSalzer98\"> </a>First-order Theorem Proving---FTP'98: Proceedings of 2nd International Workshop.</span>\n\t<span class=\"bibbase_paper_author\">\nCaferra, R.; and Salzer, G.</span>\n\t<!-- <span class=\"bibbase_paper_year\">1998</span>. -->\n</span>\n\n\nTechnical Report \nE1852-GS-981, Technische Universität Wien, Vienna, Austria, 1998.\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('CaferraSalzer98')\">\n <img src=\"http://www.bibbase.org/img/filetypes/bib.png\" \n\t alt=\"First-order Theorem Proving---FTP'98: Proceedings of 2nd International Workshop [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n &nbsp; \n\n \n \n &nbsp;\n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"caferra-salzer-firstordertheoremprovingftp98proceedingsof2ndinternationalworkshop-1998","urls":{},"role":"author","year":"1998","type":"techreport","title":"First-order Theorem Proving---FTP'98: Proceedings of 2nd International Workshop","number":"E1852-GS-981","key":"CaferraSalzer98","institution":"Technische Universität Wien","id":"CaferraSalzer98","bibtype":"techreport","bibtex":"@techreport{ CaferraSalzer98,\n author = {Caferra, R. and Salzer, G.},\n year = {1998},\n title = {First-order Theorem Proving---{FTP'98}: {Proceedings of 2nd International Workshop}},\n number = {E1852-GS-981},\n institution = {Technische Universität Wien},\n address = {Vienna, Austria}\n}","author_short":["Caferra, R.","Salzer, G."],"author":["Caferra, R.","Salzer, G."],"address":"Vienna, Austria"},"bibtype":"techreport","biburl":"http://www.csc.liv.ac.uk/~ullrich/publications/uh-2013-08-06.bib","downloads":0,"title":"First-order Theorem Proving---FTP'98: Proceedings of 2nd International Workshop","year":1998,"dataSources":["p6py5bqMdg7vzjQS3"]}