Teimuraz Kutsia, Jordi Levy, Mateu Villaret,
"On the Relation Between Context and Sequence Unification"
, in Journal of Symbolic Computation, Vol. 45, Nummer 1, Seite(n) 74--95, 2010, ISSN: 0747-7171
Original Titel:
On the Relation Between Context and Sequence Unification