On Tree Pattern Unification Problems.

Peter Ruzicka, Igor Prvara

Browse the full FCT paper archive.