Benzmüller, ChristophHeule, Marijn J.H.Schmidt, Renate A.2024-07-102024-07-102024978-3-031-63498-7978-3-031-63497-0978-3-031-63499-4https://fis.uni-bamberg.de/handle/uniba/96328engAutomated Reasoning : 12th International Joint Conference : IJCAR 2024 ; Nancy, France, July 3–6, 2024; ProceedingsPart IIbook10.1007/978-3-031-63501-4