Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
IJCAR, 2018.
@inproceedings{IJCAR-2018-SchlichtkrullBT,
author = "Anders Schlichtkrull and Jasmin Christian Blanchette and Dmitriy Traytel and Uwe Waldmann",
booktitle = "{Proceedings of the Ninth International Joint Conference on Automated Reasoning}",
doi = "10.1007/978-3-319-94205-6_7",
isbn = "['978-3-319-94204-9', '978-3-319-94205-6']",
pages = "89--107",
publisher = "{Springer}",
title = "{Formalizing Bachmair and Ganzinger's Ordered Resolution Prover}",
year = 2018,
}