A Model Elimination Calculus with Built-in Theories (Extended Abstract). Baumgartner, P. In Proceedings of Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX), pages 7-10, 1992.
bibtex   
@inproceedings{ dblp3565441,
  title = {A Model Elimination Calculus with Built-in Theories (Extended Abstract)},
  author = {Peter Baumgartner},
  author_short = {Baumgartner, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1992},
  key = {dblp3565441},
  id = {dblp3565441},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tableaux/Baumgartner92},
  url = {},
  conference = {TABLEAUX},
  pages = {7-10},
  text = {TABLEAUX 1992:7-10},
  booktitle = {Proceedings of Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)}
}
Downloads: 0