Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
scientific article; zbMATH DE number 7437041