SCAN is complete for all Sahlqvist formulae (2004)

by V. Goranko , U. Hustadt , R. A. Schmidt , D. Vakarelov
Venue:In Relational and Kleene-Algebraic Methods in Computer Science (RelMiCS 7
Citations:6 - 3 self