COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description)

von Görlitz, Oliver
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)