On the decomposition of datalog program mappings
scientific article; zbMATH DE number 4151813