"Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)."

Daniel Gorín et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics