An Almost Linear Robinson Unification Algorithm.

Peter Ruzicka Igor Prívara An Almost Linear Robinson Unification Algorithm. 61-71 1989 27 Acta Inf. 1 db/journals/acta/acta27.html#RuzickaP89