Recognizable sets of unrooted trees

@inproceedings{Courcelle1992RecognizableSO,
  title={Recognizable sets of unrooted trees},
  author={Bruno Courcelle},
  booktitle={Tree Automata and Languages},
  year={1992}
}