@misc{indiciae5222172790ab,
  title = {COOL 2 -- A Generic Reasoner for Modal Fixpoint Logics},
  author = {Oliver Görlitz and Daniel Hausmann and Merlin Humml and Dirk Pattinson and Simon Prucker and Lutz Schröder},
  year = {2023},
  url = {https://arxiv.org/abs/2305.11015},
  note = {Source identifier: 2305.11015}
}