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 https://doi.org/10.1007/BFb0017430