Chen, Ran, et al. “A Formally Proved, Complete Algorithm for Path Resolution With Symbolic Links”. Journal of Formalized Reasoning, vol. 10, no. 1, Jan. 2017, pp. 51-66, doi:10.6092/issn.1972-5787/6767.