%0 Journal Article %1 journals/jar/TeuckeW20 %A Teucke, Andreas %A Weidenbach, Christoph %D 2020 %J J. Autom. Reason. %K dblp %N 3 %P 611-640 %T SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment. %U http://dblp.uni-trier.de/db/journals/jar/jar64.html#TeuckeW20 %V 64

@article{journals/jar/TeuckeW20, added-at = {2020-09-02T00:00:00.000+0200}, author = {Teucke, Andreas and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2a1d3087bf26227ddc6d08ff8b734c0b5/dblp}, ee = {https://doi.org/10.1007/s10817-020-09546-z}, interhash = {7a88b3ea3e3e71ed7c67df0c02b289c2}, intrahash = {a1d3087bf26227ddc6d08ff8b734c0b5}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 3, pages = {611-640}, timestamp = {2020-09-09T13:34:51.000+0200}, title = {SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar64.html#TeuckeW20}, volume = 64, year = 2020 }