Linear explicit substitutions (1998)

by N Ghani, V D Paiva, E Ritter