Modular construction of complete coalgebraic logics (2007)

by C Cîrstea, D Pattinson
Venue:Theor. Comput. Sci