Title: Linguistics, logic and finite trees
Subjects: Language and logic, Computational linguistics