Pedro Cabalar Sergei P. Odintsov David Pearce Well-Founded and Partial Stable Semantics Logical Aspects. 1-11 2009 CSR http://dx.doi.org/10.1007/978-3-642-03351-3_1 conf/csr/2009 db/conf/csr/csr2009.html#CabalarOP09