Title | Higher-Order Pattern Anti-Unification in Linear Time |
Publication Type | Journal Article |
Year of Publication | 2017 |
Authors | Baumgartner A, Kutsia T, Levy J, Villaret M |
Journal | Journal of Automated Reasoning |
Volume | 58 |
Pagination | 293-310 |
ISSN | 0168-7433 |
DOI | 10.1007/s10817-016-9383-3 |