@Article{geghmesc08a, author = "M. Gebser and M. Gharib and R. Mercer and T. Schaub", title = "Monotonic Answer Set Programming", journal = "Journal of Logic and Computation", volume = 19, number = 4, year = 2009, pages = "539-564", note = "Available at URL\footnote{\texttt{http://logcom.oxfordjournals.org/cgi/reprint/exn040?ijkey=tsRvfu1amyhfqMt\&keytype=ref}}" }