The relationship between stable, supported, default and autoepistemic semantics for general logic programs
scientific article; zbMATH DE number 94465
scientific article