@inproceedings{CKS-SOFSEM01,
 author = {Ivana Černá and Ondřej Klíma and Jiří Srba},
 booktitle = {SOFSEM'99},
 editor = {Pavelka, J., Tel, G. and Bartosek, M.},
 number = {1725},
 pages = {369--378},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Pattern Equations and Equations with Stuttering},
 year = {1999}
}