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

Khalil Djelloul Thi-Bich-Hanh Dao Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. 7-14 2006 conf/sac/2006 SAC http://doi.acm.org/10.1145/1141277.1141280 db/conf/sac/sac2006.html#DjelloulD06