%0 Journal Article
%A Melichar, Bořivoj
%A Janoušek, Jan
%A Flouri, Tomas
%T Arbology: Trees and pushdown automata
%J Kybernetika
%D 2012
%P 402-428
%V 48
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_2012__48_3_a4/
%G en
%F KYB_2012__48_3_a4