, LRI (CNRS & Univ. Paris-Sud), Université Paris-Saclay, France

• Journal of Formalized Reasoning Vol. 10 No. 1 (2017) - Articles
  A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links
  Abstract  PDF