Mauricio Osorio Claudia Zepeda Minimal Generalized Answer-Sets and their Applications. 2006 LoLaCOM http://ceur-ws.org/Vol-220/LoLaCOM06_05.pdf conf/micai/2006lolacom db/conf/micai/lolacom2006.html#OsorioZ06a