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)}
}