A Parallel Algorithm for the Monadic Unification Problem

Ivan E. Auger, Mukkai S. Krishnamoorthy. A Parallel Algorithm for the Monadic Unification Problem. BIT, 25(2):302-306, 1985.

Abstract

Abstract is missing.