Boundedness is undecidable for datalog programs with a single recursive rule
scientific article; zbMATH DE number 4110167