A note on semilinear sets and bounded-reversal multihead pushdown automata
scientific article; zbMATH DE number 3461482