Ondrej Cepek, Petr Kucera, Václav Vlcek: Properties of SLUR Formulae. SOFSEM 2012: 177-189