An Efficient Decision Algorithm for the Uniform Semi-Unification Problem.

Peter Ruzicka

Browse the full MFCS paper archive.