Login / Signup

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

Peter Ruzicka
Published in: MFCS (1991)
Keyphrases