Arun Lakhotia Davidson R. Boccardo Anshuman Singh Aleardo Manacero Jr. Context-sensitive analysis without calling-context. 275-313 2010 23 Higher-Order and Symbolic Computation 3 http://dx.doi.org/10.1007/s10990-011-9080-1 db/journals/lisp/lisp23.html#LakhotiaBSM10