Chuck Liang Gopalan Nadathur Xiaochu Qi Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. 89-132 2004 33 J. Autom. Reasoning 2 http://www.springerlink.com/index/10.1007/s10817-004-6885-1 db/journals/jar/jar33.html#LiangNQ04