@inproceedings{Bromberger_TACAS2022,
TITLE = {A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic},
AUTHOR = {Bromberger, Martin and Dragoste, Irina and Faqeh, Rasha and Fetzer, Christof and Gonz{\'a}lez, Larry and Kr{\"o}tzsch, Markus and Marx, Maximilian and Murali, Harish K. and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-030-99523-2},
DOI = {10.1007/978-3-030-99524-9_27},
PUBLISHER = {Springer},
YEAR = {2022},
DATE = {2022},
BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)},
EDITOR = {Fisman, Dana and Rosu, Grigore},
PAGES = {480--501},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {13243},
ADDRESS = {Munich, Germany},
}