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

Khalil Djelloul, Thi-Bich-Hanh Dao

Browse the full SAC paper archive.