TítolHigher-Order Pattern Anti-Unification in Linear Time
Publication TypeJournal Article
Year of Publication2017
AuthorsBaumgartner A, Kutsia T, Levy J, Villaret M
JournalJournal of Automated Reasoning
Volume58
Paginació293-310
ISSN0168-7433
DOI10.1007/s10817-016-9383-3