%0 Journal Article
%A Courcelle, Bruno
%T Frontiers of infinite trees
%J RAIRO. Informatique théorique
%D 1978
%P 319-337
%V 12
%N 4
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1978__12_4_319_0/
%G en
%F ITA_1978__12_4_319_0