Verifying local stratifiability of logic programs and databases
scientific article; zbMATH DE number 146937