Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata.

Emanuela Fachini Andrea Maggiolo-Schettini Giovanni Resta Davide Sangiorgi Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata. 249-260 1991 83 Theor. Comput. Sci. 2 db/journals/tcs/tcs83.html#FachiniMRS91