Juan Carlos Nieves Mauricio Osorio Generating maximal models using the stable model semantics. 2007 conf/lanmr/2007 LA-NMR http://www.ceur-ws.org/Vol-286/LANMR07_09.pdf db/conf/lanmr/lanmr2007.html#NievesO07