%0 Journal Article %1 journals/jar/SchlichtkrullBT20 %A Schlichtkrull, Anders %A Blanchette, Jasmin %A Traytel, Dmitriy %A Waldmann, Uwe %D 2020 %J J. Autom. Reason. %K dblp %N 7 %P 1169-1195 %T Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. %U http://dblp.uni-trier.de/db/journals/jar/jar64.html#SchlichtkrullBT20 %V 64

@article{journals/jar/SchlichtkrullBT20, added-at = {2020-10-06T00:00:00.000+0200}, author = {Schlichtkrull, Anders and Blanchette, Jasmin and Traytel, Dmitriy and Waldmann, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/24de0c67018829d20d7e278f69c82c28e/dblp}, ee = {https://doi.org/10.1007/s10817-020-09561-0}, interhash = {4be6f20374510bfc92d448ea8b9ac76c}, intrahash = {4de0c67018829d20d7e278f69c82c28e}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 7, pages = {1169-1195}, timestamp = {2020-10-07T11:37:51.000+0200}, title = {Formalizing Bachmair and Ganzinger's Ordered Resolution Prover.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar64.html#SchlichtkrullBT20}, volume = 64, year = 2020 }