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

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

Browse the full LOPSTR paper archive.