Hitoshi Ohsaki Jean-Marc Talbot Sophie Tison Yves Roos Monotone AC-Tree Automata. 337-351 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_24 db/conf/lpar/lpar2005.html#OhsakiTTR05