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