### 6 papers:

- CAV-2011-AtigBP #analysis
- Getting Rid of Store-Buffers in TSO Analysis (MFA, AB, GP), pp. 99–115.
- SIGMOD-2007-RamanQHNCYL #adaptation #lazy evaluation
- Lazy, adaptive rid-list intersection, and its application to index anding (VR, LQ, WH, IN, YLC, KHY, FLL), pp. 773–784.
- EDOC-2007-MendlingDA #modelling #process
- Getting Rid of the OR-Join in Business Process Models (JM, BFvD, WMPvdA), pp. 3–14.
- RTA-2005-Comon-LundhD #algebra #finite #how
- The Finite Variant Property: How to Get Rid of Some Algebraic Properties (HCL, SD), pp. 294–307.
- ICALP-1980-Ainhirn #how #pseudo
- How to Get Rid of Pseudoterminals (WA), pp. 1–11.
- CADE-1980-Noll #how
- A Note on Resolution: How to Get Rid of Factoring without Loosing Completeness (HN), pp. 250–263.