J.M. Greif, "The SMP Pattern-Matcher" in B.F. Caviness (editor), Proceedings of EUROCAL 1985, volume 2, pgs.
J.M. Greif's paper "The SMP Pattern-Matcher" was presented at EUROCAL 1985 and published in volume 2 of the proceedings.