TY  - BOOK
AU  - Heide, F Meyer auf der
AU  - Monien, B
TI  - Automata, languages and programming: 23rd International Colloquium, ICALP '96
U1  - 005.131  HEI-A 
PY  - 1996///
CY  - Springer-Verlag, New York
KW  - Symbolic logic
ER  -