| 2008 |
|---|
| 7 | EE | Miquel Bofill,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio:
The Barcelogic SMT Solver.
CAV 2008: 294-298 |
| 2004 |
|---|
| 6 | EE | Miquel Bofill,
Albert Rubio:
Redundancy Notions for Paramodulation with Non-monotonic Orderings.
IJCAR 2004: 107-121 |
| 2003 |
|---|
| 5 | | Miquel Bofill,
Guillem Godoy,
Robert Nieuwenhuis,
Albert Rubio:
Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings.
J. Autom. Reasoning 30(1): 99-120 (2003) |
| 2002 |
|---|
| 4 | EE | Miquel Bofill,
Albert Rubio:
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation.
CADE 2002: 456-470 |
| 2001 |
|---|
| 3 | EE | Miquel Bofill,
Guillem Godoy:
On the Completeness of Arbitrary Selection Strategies for Paramodulation.
ICALP 2001: 951-962 |
| 2000 |
|---|
| 2 | | Miquel Bofill,
Guillem Godoy,
Robert Nieuwenhuis,
Albert Rubio:
Modular Redundancy for Theorem Proving.
FroCos 2000: 186-199 |
| 1999 |
|---|
| 1 | EE | Miquel Bofill,
Guillem Godoy,
Robert Nieuwenhuis,
Albert Rubio:
Paramodulation with Non-Monotonic Orderings.
LICS 1999: 225-233 |
