| |
| 2007 | ||
|---|---|---|
| 8 | EE | Barbara Morawska: General E -unification with Eager Variable Elimination and a Nice Cycle Rule. J. Autom. Reasoning 39(1): 77-106 (2007) |
| 2005 | ||
| 7 | EE | Christopher Lynch, Barbara Morawska: Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. RTA 2005: 90-104 |
| 2003 | ||
| 6 | EE | Barbara Morawska: Completeness of E-Unification with Eager Variable Elimination. LPAR 2003: 198-212 |
| 2002 | ||
| 5 | EE | Christopher Lynch, Barbara Morawska: Basic Syntactic Mutation. CADE 2002: 471-485 |
| 4 | EE | Christopher Lynch, Barbara Morawska: Automatic Decidability. LICS 2002: 7- |
| 2001 | ||
| 3 | EE | Christopher Lynch, Barbara Morawska: Decidability and Complexity of Finitely Closable Linear Equational Theories. IJCAR 2001: 499-513 |
| 2 | EE | Christopher Lynch, Barbara Morawska: Complexity of Linear Standard Theories. LPAR 2001: 186-200 |
| 1 | EE | Christopher Lynch, Barbara Morawska: Goal-Directed E-Unification. RTA 2001: 231-245 |
| 1 | Christopher Lynch | [1] [2] [3] [4] [5] [7] |