Decidable containment of recursive queries
scientific article; zbMATH DE number 2174890
scientific article