Calculating tree navigation with symmetric relational zipper
Yuta Ikeda, Susumu Nishimura · 2011
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language that locates particular nodes in a given document structure.