Statistics for Theory and applications of answer set programming