@article{Teucke2020,
TITLE = {{SPASS-AR}: {A} First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment},
AUTHOR = {Teucke, Andreas and Weidenbach, Christoph},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-020-09546-z},
PUBLISHER = {D. Reidel Pub. Co.},
ADDRESS = {Dordrecht, Holland},
YEAR = {2020},
DATE = {2020},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {64},
NUMBER = {3},
PAGES = {611--640},
}