Current Year

Schlichtkrull, A., Blanchette, J. C., Traytel, D., & Waldmann, U. (2018). Formalization of Bachmair and Ganzinger’s Ordered Resolution Prover. Archive of Formal Proofs.
Export
BibTeX
@article{BlanchetteAFP2018, TITLE = {Formalization of {B}achmair and {G}anzinger’s Ordered Resolution Prover}, AUTHOR = {Schlichtkrull, Anders and Blanchette, Jasmin Christian and Traytel, Dmitriy and Waldmann, Uwe}, LANGUAGE = {eng}, ISSN = {2150-914X}, YEAR = {2018}, JOURNAL = {Archive of Formal Proofs}, }
Endnote
%0 Journal Article %A Schlichtkrull, Anders %A Blanchette, Jasmin Christian %A Traytel, Dmitriy %A Waldmann, Uwe %+ External Organizations Automation of Logic, MPI for Informatics, Max Planck Society External Organizations Automation of Logic, MPI for Informatics, Max Planck Society %T Formalization of Bachmair and Ganzinger’s Ordered Resolution Prover : %G eng %U http://hdl.handle.net/21.11116/0000-0000-6489-5 %7 2018-01-18 %D 2018 %8 18.01.2018 %J Archive of Formal Proofs %@ false %U https://www.isa-afp.org/browser_info/current/AFP/Ordered_Resolution_Prover/document.pdf