| 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 |
