Interpolation and Beth Definability in Default Logics.

Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro

Browse the full JELIA paper archive.