A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.

Edelmira Pasarella Fernando Orejas Elvira Pino Marisa Navarro A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. 133-146 2005 conf/lopstr/2005 LOPSTR http://dx.doi.org/10.1007/11680093_9 db/conf/lopstr/lopstr2005.html#PasarellaOPN05