TítuloA Variant of Higher-Order Anti-Unification
Publication TypeConference Paper
Year of Publication2013
AuthorsBaumgartner A, Kutsia T, Levy J, Villaret M
Conference NameProc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13
URLhttp://dx.doi.org/10.4230/LIPIcs.RTA.2013.113
DOI10.4230/LIPIcs.RTA.2013.113