Semantics of Normal Logic Programs with Embedded Implications.

Fernando Orejas, Edelmira Pasarella, Elvira Pino

Browse the full ICLP paper archive.