Jean-Pierre Braquelaire, Bruno Courcelle. The Solutions of Two Star-Height Problems for Regular Trees. Theoretical Computer Science, 30:205-239, 1984.
@article{BraquelaireC84, title = {The Solutions of Two Star-Height Problems for Regular Trees}, author = {Jean-Pierre Braquelaire and Bruno Courcelle}, year = {1984}, researchr = {https://researchr.org/publication/BraquelaireC84}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {30}, pages = {205-239}, }