EXPTIME tableaux for the coalgebraic µ-calculus (2009)

by C Cîrstea, C Kupke, D Pattinson
Venue:In Computer Science Logic, CSL 09, vol. 5771 of LNCS