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.
