Frédéric Magniez Michel de Rougemont Property Testing of Regular Tree Languages. 127-146 2007 49 Algorithmica 2 http://dx.doi.org/10.1007/s00453-007-9028-3 db/journals/algorithmica/algorithmica49.html#MagniezR07