An Order Theory Resolution Calculus. Baumgartner, P. In Proceedings of Logic Programming and Automated Reasoning (LPAR), pages 119-130, 1992.
Paper bibtex @inproceedings{ dblp3560123,
title = {An Order Theory Resolution Calculus},
author = {Peter Baumgartner},
author_short = {Baumgartner, P.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1992},
key = {dblp3560123},
id = {dblp3560123},
biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/Baumgartner92},
url = {http://dx.doi.org/10.1007/BFb0013054},
conference = {LPAR},
pages = {119-130},
text = {LPAR 1992:119-130},
booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}
}