Permutation dependency in datalog programs
scientific article; zbMATH DE number 166034