Extending \(H_1\)-clauses with disequalities
scientific article; zbMATH DE number 6150480