Prolog infinite trees and automata Solange Coupet-Grimal RAIRO-Theor. Inf. Appl., 25 5 (1991) 397-418 Published online: 01 February 2017 DOI: 10.1051/ita/1991250503971