| No. |
Title |
Author |
Year |
| 1 |
Constraint Solving over Multiple Similarity Relations |
Dundua, Besik et al. |
2020 |
| 2 |
Unital Anti-Unification: Type and Algorithms |
Cerna, David M. et al. |
2020 |
| 3 |
A Generic Framework for Higher-Order Generalizations |
Cerna, David M. et al. |
2019 |
| 4 |
Higher-Order Equational Pattern Anti-Unification |
Cerna, David M. et al. |
2018 |
| 5 |
Term-Graph Anti-Unification |
Baumgartner, Alexander et al. |
2018 |
| 6 |
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems |
Dundua, Besik et al. |
2016 |
| 7 |
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification |
Kotsireas, Ilias et al. |
2015 |
| 8 |
Nominal Anti-Unification |
Baumgartner, Alexander et al. |
2015 |
| 9 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander et al. |
2013 |
| 10 |
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur et al. |
2011 |
| 11 |
Order-Sorted Unification with Regular Expression Sorts |
Kutsia, Temur et al. |
2010 |
