Jonathan May Kevin Knight Tiburon: A Weighted Tree Automata Toolkit. 102-113 2006 conf/wia/2006 CIAA http://dx.doi.org/10.1007/11812128_11 db/conf/wia/ciaa2006.html#MayK06