@misc{indiciaeddbedacb3e77, title = {Unification and combination of a class of traversal strategies made with pattern matching and fixed-points}, author = {Walid Belkhir and Nicolas Ratier and Duy Duc Nguyen and Michel Lenczner}, year = {2021}, url = {https://arxiv.org/abs/1904.07668}, note = {Source identifier: 1904.07668} }