Turning inductive into equational specifications

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