Return to Article Details A Unification Algorithm for GP 2 Download Download PDF