| |
| * | 1997 | |
|---|---|---|
| 3 | EE | Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses. CADE 1997: 49-52 |
| 2 | Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: Barcelona. J. Autom. Reasoning 18(2): 171-176 (1997) | |
| 1996 | ||
| 1 | Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: An Implementation Kernel for Theorem Proving with Equality Clauses. APPIA-GULP-PRODE 1996: 89-104 | |
| 1 | Robert Nieuwenhuis | [1] [2] [3] |
| 2 | José Miguel Rivero | [1] [2] [3] |