Return to Article Details A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links Download Download PDF