Solving First-Order Constraints in the Theory of the Evaluated Trees.

Thi-Bich-Hanh Dao, Khalil Djelloul

Browse the full ICLP paper archive.