Solving Classes of Set Constraints with Tree Automata.

Philippe Devienne Jean-Marc Talbot Sophie Tison Solving Classes of Set Constraints with Tree Automata. 62-76 1997 conf/cp/1997 CP db/conf/cp/cp97.html#DevienneTT97