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