@article{DBLP:journals/logcom/GebserGMS09, author = {Gebser, Martin and Gharib, Mona and Mercer, Robert E. and Schaub, Torsten}, title = {Monotonic Answer Set Programming}, journal = {J. Log. Comput.}, volume = {19}, number = {4}, pages = {539--564}, year = {2009} }