On rules with existential variables: walking the decidability line
scientific article; zbMATH DE number 5973638
scientific article