SCAN is complete for all Sahlqvist formulae (0)

by V Goranko, U Hustadt, R Schmidt, D Vakarelov
Venue:Relational and Kleene-Algebraic Methods in Computer Science (Proc. of RelMiCS 7), LNCS 3051