"Sound, fine-grained traversal fusion for heterogeneous trees."

Laith Sakka et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics