Stem lazili$ (all stems)
3 papers:
ASE-2010-HooimeijerW #constraints #string- Solving string constraints lazily (PH, WW), pp. 377–386.
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.
FPCA-1995-HughesM- Making Choices Lazily (JH, AM), pp. 108–119.