On the Progression Semantics and Boundedness of Answer Set Programs

Open in new window