@INPROCEEDINGS{GHSV2003,
 AUTHOR        = {Goranko, Valentin and Hustadt, Ullrich and 
 Schmidt, Renate and Vakarelov, Dimiter},
 TITLE         = {{SCAN} is complete for all Sahlqvist formulae},
 BOOKTITLE     = {Proceedings of the 7th International Seminar on
 Relational Methods in Computer Science},
 YEAR          = {2003},
 EDITOR        = {Berghammer, Rudolf and M{\"o}ller, Bernhard},
 PAGES         = {230--241},
 PUBLISHER     = {Christian-Albrechts-Universit{\"a}t Kiel},
 CADDRESS      = {Bad Malente, Germany},
 CYEAR         = {2003},
 CMONTH        = may # {~12--17},
}