Turning inductive into equational specifications

by Stefan Berghofer , Lukas Bulwahn , Florian Haftmann , Technische Universität München
Citations:9 - 6 self