On the Progression Semantics and Boundedness of Answer Set Programs.

Yan Zhang, Yi Zhou

Browse the full KR paper archive.