Turning inductive into equational specifications (2009)

by Stefan Berghofer, Lukas Bulwahn, Florian Haftmann
Venue:In Theorem Proving in Higher Order Logics