Displaying similar documents to “The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)”