Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\).
scientific article; zbMATH DE number 1853065
scientific article