"Pattern Unification with Sequence Variables, Flexible Arity Symbols."

Temur Kutsia (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics