Modular construction of complete coalgebraic logics. Theor. Comput. Sci (2007)

by C Cîrstea, D Pattinson