Extracting differences between regular tree grammars. - Kazuma Horie; Nobutaka Suzuki (SAC, 2013)