Hypothetical datalog: Complexity and expressibility
scientific article; zbMATH DE number 4151812
scientific article