On correctness of normal logic programs
scientific article; zbMATH DE number 7691345
scientific article