Higher order flattening (2006)

by R Leshchinskiy, M M T Chakravarty, G Keller
Venue:ICCS ’06, number 3992 in LNCS