Efficient bottom-up execution of logic programs using abstract interpretation
scientific article; zbMATH DE number 446247