Stratification of Definite Clause Programs and of General Logic Programs.

Olga Stepnkov, Petr Stepnek

Browse the full CSL paper archive.