%0 Conference Paper %1 conf/cade/FormisanoOT01 %A Formisano, Andrea %A Omodeo, Eugenio G. %A Temperini, Marco %B IJCAR %D 2001 %E Goré, Rajeev %E Leitsch, Alexander %E Nipkow, Tobias %I Springer %K dblp %P 152-167 %T Instructing Equational Set-Reasoning with Otter. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#FormisanoOT01 %V 2083 %@ 3-540-42254-4

@inproceedings{conf/cade/FormisanoOT01, added-at = {2020-07-13T00:00:00.000+0200}, author = {Formisano, Andrea and Omodeo, Eugenio G. and Temperini, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2debbbca11d336cba67b1d3e7b5be5f35/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_12}, interhash = {94390856f54ab159ebf5b8bbeeb402e5}, intrahash = {debbbca11d336cba67b1d3e7b5be5f35}, isbn = {3-540-42254-4}, keywords = {dblp}, pages = {152-167}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:16:59.000+0200}, title = {Instructing Equational Set-Reasoning with Otter.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2001.html#FormisanoOT01}, volume = 2083, year = 2001 }