Properties of SLUR Formulae.

Ondrej Cepek, Petr Kucera, Vclav Vlcek

Browse the full SOFSEM paper archive.