Consolution as a Framework for Comparing Calculi. Baumgartner, P. & Furbach, U. In Proceedings of Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX), pages 11-14, 1992.
bibtex   
@inproceedings{ dblp3565442,
  title = {Consolution as a Framework for Comparing Calculi},
  author = {Peter Baumgartner and Ulrich Furbach},
  author_short = {Baumgartner, P. and Furbach, U.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1992},
  key = {dblp3565442},
  id = {dblp3565442},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tableaux/BaumgartnerF92},
  url = {},
  conference = {TABLEAUX},
  pages = {11-14},
  text = {TABLEAUX 1992:11-14},
  booktitle = {Proceedings of Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)}
}
Downloads: 0