Standard
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy; Waldmann, Uwe.
IJCAR 2018. ed. / Didier Galmiche; Stephan Schulz; Roberto Sebastiani. Vol. 10900 Springer, Cham, 2018. p. 89-107 (LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Schlichtkrull, A, Blanchette, JC
, Traytel, D & Waldmann, U 2018,
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. in D Galmiche, S Schulz & R Sebastiani (eds),
IJCAR 2018. vol. 10900, Springer, Cham, LNCS, pp. 89-107.
https://doi.org/10.1007/978-3-319-94205-6_7
APA
Schlichtkrull, A., Blanchette, J. C.
, Traytel, D., & Waldmann, U. (2018).
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. In D. Galmiche, S. Schulz, & R. Sebastiani (Eds.),
IJCAR 2018 (Vol. 10900, pp. 89-107). Springer, Cham. LNCS
https://doi.org/10.1007/978-3-319-94205-6_7
Vancouver
Schlichtkrull A, Blanchette JC
, Traytel D, Waldmann U.
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. In Galmiche D, Schulz S, Sebastiani R, editors, IJCAR 2018. Vol. 10900. Springer, Cham. 2018. p. 89-107. (LNCS).
https://doi.org/10.1007/978-3-319-94205-6_7
Author
Schlichtkrull, Anders ; Blanchette, Jasmin Christian ; Traytel, Dmitriy ; Waldmann, Uwe. / Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. IJCAR 2018. editor / Didier Galmiche ; Stephan Schulz ; Roberto Sebastiani. Vol. 10900 Springer, Cham, 2018. pp. 89-107 (LNCS).
Bibtex
@inproceedings{0c7ae04a689849b09e0f1a931db6e445,
title = "Formalizing Bachmair and Ganzinger's Ordered Resolution Prover",
author = "Anders Schlichtkrull and Blanchette, {Jasmin Christian} and Dmitriy Traytel and Uwe Waldmann",
year = "2018",
doi = "10.1007/978-3-319-94205-6_7",
language = "English",
volume = "10900",
series = "LNCS",
pages = "89--107",
editor = "Didier Galmiche and Stephan Schulz and Roberto Sebastiani",
booktitle = "IJCAR 2018",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
AU - Schlichtkrull, Anders
AU - Blanchette, Jasmin Christian
AU - Traytel, Dmitriy
AU - Waldmann, Uwe
PY - 2018
Y1 - 2018
U2 - 10.1007/978-3-319-94205-6_7
DO - 10.1007/978-3-319-94205-6_7
M3 - Article in proceedings
VL - 10900
T3 - LNCS
SP - 89
EP - 107
BT - IJCAR 2018
A2 - Galmiche, Didier
A2 - Schulz, Stephan
A2 - Sebastiani, Roberto
PB - Springer, Cham
ER -