A Parallel Algorithm for the Monadic Unification Problem. - Ivan E. Auger; Mukkai S. Krishnamoorthy (BIT, 1985)