Modal predicates and coequations (0)

by A Kurz, J Rosický
Venue:Electronic Notes in Theoret. Comput. Sci. 65 (2002