Reasoning on BGP routing filters using tree automata. - Caroline Battaglia; Véronique Bruyère; Olivier Gauwin; Cristel Pelsser; Bruno Quoitin (Comput. Networks, 2014)