EasyChair Smart Slide
COOL 2 - a Generic Reasoner for Modal Fixpoint Logics
COOL 2 - a Generic Reasoner for Modal Fixpoint Logics