Hyperresolution for guarded formulae
scientific article; zbMATH DE number 1970575
scientific article