TY  - JOUR
AU  - Melichar, Bořivoj
AU  - Janoušek, Jan
AU  - Flouri, Tomas
TI  - Arbology: Trees and pushdown automata
JO  - Kybernetika
PY  - 2012
SP  - 402
EP  - 428
VL  - 48
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_2012__48_3_a4/
LA  - en
ID  - KYB_2012__48_3_a4
ER  -