Semantic Definitions for Normal Open Programs.

Fernando Orejas, Elvira Pino

Browse the full ICLP paper archive.