"On the Progression Semantics and Boundedness of Answer Set Programs."

Yan Zhang, Yi Zhou (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics