Acyclic automata and small expressions using multi-tilde-bar operators
scientific article; zbMATH DE number 5796903