| Rights | Preview | Issue Date | Title | Author(s) | Type |
| openAccess | | 24-Jun-2013 | A Variant of Higher-Order Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu | comunicación de congreso |
| openAccess |  | 2014 | Anti-unification for unranked terms and hedges | Kutsia, Temur; Levy, Jordi ; Villaret, Mateu | artículo |
| closedAccess |  | 2016 | Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers | Ansotegui, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateu | artículo |
| openAccess | | 18-May-2015 | Finding Hard Instances of Satisfiability in Lukasiewicz Logics | Bofill, Miquel; Manyà, Felip ; Vidal, Amanda ; Villaret, Mateu | comunicación de congreso |
| openAccess |  | 2017 | Higher-Order Pattern Anti-Unification in Linear Time | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu | artículo |
| openAccess |  | 2004 | Monadic second-order unification Is NP-complete | Levy, Jordi ; Schmidt-Schauss, Manfred; Villaret, Mateu | artículo |
| openAccess |  | Apr-2019 | New complexity results for Lukasiewicz logic | Bofill, Miquel; Manyà, Felip ; Vidal, Amanda ; Villaret, Mateu | artículo |
| openAccess | | 29-Jun-2015 | Nominal Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu | comunicación de congreso |
| closedAccess |  | 2012 | Nominal unification from a higher-order perspective | Levy, Jordi ; Villaret, Mateu | artículo |
| openAccess | | 6-Sep-2016 | Nominal Unification of Higher Order Expressions with Recursive Let | Schmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu | artículo |
| openAccess |  | 2011 | On the complexity of bounded second-order unification and stratified context unification | Levy, Jordi ; Schmidt-Schauss, Manfred; Villaret, Mateu | artículo |
| closedAccess |  | 2010 | On the relation between Context and Sequence Unification | Kutsia, Temur; Levy, Jordi ; Villaret, Mateu | artículo |
| closedAccess |  | 2015 | SAT and SMT technology for many-valued logics | Ansotegui, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateu | artículo |
| closedAccess |  | 2009 | Simplifying the signature in second-order unification | Levy, Jordi ; Villaret, Mateu | artículo |
| openAccess |  | 9-Jul-2018 | Term-graph anti-unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu | comunicación de congreso |
| openAccess |  | 2015 | The Complexity of 3-Valued Lukasiewicz Rules | Bofill, Miquel; Manyà, Felip ; Vidal, Amanda ; Villaret, Mateu | comunicación de congreso |
| closedAccess |  | 2008 | The complexity of monadic second-order unification | Levy, Jordi ; Schmidt-Schauss, Manfred; Villaret, Mateu | artículo |
