Yanhong Annie Liu Higher-Order and Symbolic Computation 13(4):289–313, 2000 ftp://ftp.cs.indiana.edu/pub/liu/IncEff-HOSC00.ps
Cites: