Evaluation Techniques and Systems for Answer Set Programming: a Survey
A machine program for theorem-proving