TY  - RPRT
TI  - Testing and Debugging Techniques for Answer Set Solver Development
AU  - Robert Brummayer
AU  - Matti Järvisalo
PY  - 2010
DO  - 10.1017/s1471068410000396
UR  - https://arxiv.org/abs/1007.3223
ID  - 1007.3223
ER  -