On Nontermination of Knuth-Bendix Algorithm. - Miki Hermann; Igor Prívara (ICALP, 1986)

An Almost Linear Robinson Unification Algorithm. - Peter Ruzicka; Igor Prívara (Acta Informatica, 1989)

On Tree Pattern Unification Problems. - Peter Ruzicka; Igor Prívara (FCT, 1993)