Modal predicates and coequations (2002)

by A Kurz, J RosickĀ“y
Venue:Proceedings of CMCS 2002, volume 65.1 of ENTCS