An efficient subsumption test pipeline for BS(LRA) clauses
scientific article; zbMATH DE number 7628186
scientific article