Turning inductive into equational specifications

by Stefan Berghofer, Lukas Bulwahn, Florian Haftmann, Technische Universität München