A semantic approach to optimize linear datalog programs
scientific article; zbMATH DE number 5077605
scientific article