Stratification for Variants of Default Logic

Jörg Ernst, Grigoris Antoniou. Stratification for Variants of Default Logic. In AAAI/IAAI. pages 830, 1997.

Abstract

Abstract is missing.