Bromberger, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Bromberger, M., Dragoste, I., Faqeh, R., Fetzer, C., Krötzsch, M., & Weidenbach, C. (2021). A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. In B. Konev, & G. Reger (Eds.), Frontiers of Combining Systems (pp. 3-24). Berlin: Springer.