"On the relation between Context and Sequence Unification."

Temur Kutsia, Jordi Levy, Mateu Villaret (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics