Alexander Baumgartner, Teimuraz Kutsia, Jordi Levy, Mateu Villaret,
"A Variant of Higher-Order Anti-Unification"
, in Femke van Raamsdonk: Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, Serie Leibniz International Proceedings in Informatics, Vol. 21, Seite(n) 113-127, 2013, ISBN: 9783939897
Original Titel:
A Variant of Higher-Order Anti-Unification
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013