Implementing the p-stable semantics. - Angel Marín George; Claudia Zepeda Cortés (LA-NMR, 2009)

Computing the Stratified Minimal Models Semantic. - Mauricio Osorio 001; Angel Marín George; Juan Carlos Nieves (LA-NMR, 2009)