On Testing Answer-Set Programs (2010)
Janhunen Tomi , Niemelä Ilkka , Oetsch Johannes , Puhrer Jörg , Tompits Hans