- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Johan Wittocx, Hanne Vlaeminck, Marc Denecker: Debugging for Model Expansion. ICLP 2009: 296-311 |
| 1 | | Hanne Vlaeminck, Joost Vennekens, Marc Denecker: A logical framework for configuration software. PPDP 2009: 141-148 |
| 1 | Marc Denecker | [1] [2] |
| 2 | Joost Vennekens | [1] |
| 3 | Johan Wittocx | [2] |