A Model Elimination Calculus with Built-in Theories. Baumgartner, P. In Proceedings of German Workshop on Artificial Intelligence (GWAI), pages 30-42, 1992.
A Model Elimination Calculus with Built-in Theories [link]Paper  bibtex   
@inproceedings{ dblp3550819,
  title = {A Model Elimination Calculus with Built-in Theories},
  author = {Peter Baumgartner},
  author_short = {Baumgartner, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1992},
  key = {dblp3550819},
  id = {dblp3550819},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ki/Baumgartner92},
  url = {http://dx.doi.org/10.1007/BFb0018990},
  conference = {GWAI},
  pages = {30-42},
  text = {GWAI 1992:30-42},
  booktitle = {Proceedings of German Workshop on Artificial Intelligence (GWAI)}
}
Downloads: 0