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