| |
| 2008 | ||
|---|---|---|
| 3 | EE | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: A Theoretical Framework for the Declarative Debugging of Datalog Programs. SDKB 2008: 143-159 |
| 2 | EE | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: A New Proposal for Debugging Datalog Programs. Electr. Notes Theor. Comput. Sci. 216: 79-92 (2008) |
| 2007 | ||
| 1 | EE | Rafael Caballero, Yolanda García-Ruiz: Implementing Dynamic-Cut in TOY. Electr. Notes Theor. Comput. Sci. 177: 153-168 (2007) |
| 1 | Rafael Caballero | [1] [2] [3] |
| 2 | Fernando Sáenz-Pérez | [2] [3] |