## Khalil Djelloul, Thi-Bich-Hanh Dao

*Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories*

SAC, 2006.

@inproceedings{SAC-2006-DjelloulD, author = "Khalil Djelloul and Thi-Bich-Hanh Dao", booktitle = "{Proceedings of the 21st Symposium on Applied Computing}", doi = "10.1145/1141277.1141280", editor = "Hisham Haddad", isbn = "1-59593-108-2", pages = "7--14", publisher = "{ACM}", title = "{Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories}", year = 2006, }