A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. - Martin Bromberger; Irina Dragoste; Rasha Faqeh; Christof Fetzer; Larry González; Markus Krötzsch; Maximilian Marx 001; Harish K. Murali; Christoph Weidenbach (TACAS (1), 2022)