The alternating fixpoint of logic programs with negation
scientific article; zbMATH DE number 428588
scientific article