Teimuraz Kutsia, Mateu Villaret, Jordi Levy,
"Sequence Unification Through Currying"
, in F. Baader: Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07), Serie Lecture Notes in Computer Science (LNCS), Vol. 4533, Seite(n) 288-302, 2007, ISBN: 978-3-540-73447-5
Original Titel:
Sequence Unification Through Currying
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07)