### 7 papers:

- ICSE-v2-2015-MaplesdenRTHG #analysis #case study #industrial #performance #using
- Performance Analysis Using Subsuming Methods: An Industrial Case Study (DM, KvR, EDT, JGH, JCG), pp. 149–158.
- ASE-2014-HarmanJMP #effectiveness #empirical #higher-order #performance
- Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation (MH, YJ, PRM, MP), pp. 397–408.
- ICLP-2010-SantosM10 #named #prolog
- Subsumer: A Prolog theta-subsumption engine (JS, SM), pp. 172–181.
- RTA-2010-NeurauterM #integer #polynomial
- Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers (FN, AM), pp. 243–258.
- CL-2000-Gennari #algorithm #consistency
- Arc Consistency Algorithms via Iterations of Subsumed Functions (RG), pp. 358–372.
- TLCA-1999-Levy #call-by #named #paradigm
- Call-by-Push-Value: A Subsuming Paradigm (PBL), pp. 228–242.
- LICS-1987-BidoitF #logic programming
- Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming (NB, CF), pp. 89–97.