SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
scientific article; zbMATH DE number 984052
scientific article