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

Daniel Gorn, Dirk Pattinson, Lutz Schrder, Florian Widmann, Thorsten Wimann

Browse the full CADE paper archive.