"Unification with Sequence Variables and Flexible Arity Symbols and Its ..."

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