A.: The Substitution Vanishes (2006)

by A Kühnemann, Maletti
Venue:AMAST 2006. LNCS