### 3 papers:

- ICSE-2013-HatcliffRCB #execution #framework #symbolic computation #verification
- Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.
- TACAS-2005-LeinoMO #proving #quantifier #theorem proving
- A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover (KRML, MM, XO), pp. 334–348.
- CAV-2003-FlanaganJOS #lazy evaluation #proving #theorem proving #using
- Theorem Proving Using Lazy Proof Explication (CF, RJ, XO, JBS), pp. 355–367.