Generalized completeness for SOS resolution and its application to a new notion of relevance
scientific article; zbMATH DE number 7437087