Stem ste$ (all stems)
2 papers:
- TACAS-2008-ChocklerGY #automation #performance #refinement #using
- Efficient Automatic STE Refinement Using Responsibility (HC, OG, AY), pp. 233–248.
- DAC-1985-HefferanSBN
- The STE-264 accelerated electronic CAD system (PMH, RJSI, VB, DLN), pp. 352–358.