An Almost Linear Robinson Unification ALgorithm.

Peter Ruzicka, Igor Prvara

Browse the full MFCS paper archive.