Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints.

Claudia Zepeda José Luis Carballido Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. 203-210 2008 ENC http://dx.doi.org/10.1109/ENC.2008.28 conf/enc/2008 db/conf/enc/enc2008.html#ZepedaC08