BibTeX record conf/cade/FormisanoOT01

download as .bib file

@inproceedings{DBLP:conf/cade/FormisanoOT01,
  author    = {Andrea Formisano and
               Eugenio G. Omodeo and
               Marco Temperini},
  title     = {Instructing Equational Set-Reasoning with Otter},
  booktitle = {{IJCAR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2083},
  pages     = {152--167},
  publisher = {Springer},
  year      = {2001}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics