The substitution vanishes (2006)

by Armin Kühnemann, Andreas Maletti
Venue:In Algebraic Methodology and Software Technology, Proceedings, volume 4019 of LNCS