Bottom-up abstract interpretation of logic programs
scientific article; zbMATH DE number 540873
scientific article