Towards Learning From Graph Representable Formal Models. - Marco Sälzer; Georg Siebert (OVERLAY@GandALF, 2021)

DiMo - Discrete Modelling Using Propositional Logic. - Norbert Hundeshagen; Martin Lange; Georg Siebert (SAT, 2021)