@inproceedings{Bromberger_IJCAR2022,
TITLE = {An Efficient Subsumption Test Pipeline for {BS(LRA)} Clauses},
AUTHOR = {Bromberger, Martin and Leutgeb, Lorenz and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-031-10768-9},
URL = {https://rdcu.be/cY8Pp},
DOI = {10.1007/978-3-031-10769-6_10},
PUBLISHER = {Springer},
YEAR = {2022},
DATE = {2022},
BOOKTITLE = {Automated Reasoning (IJCAR 2022)},
EDITOR = {Blanchette, Jasmin and Kov{\'a}cs, Laura and Pattinson, Dirk},
PAGES = {147--168},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {13385},
ADDRESS = {Haifa, Israel},
}