Evaluation Techniques and Systems for Answer Set Programming: a Survey
The DLV System for Knowledge Representation and Reasoning