Free theorems for functional logic programs (2010)

by J Christiansen, D Seidel, J Voigtländer
Venue:In Programming Languages meets Program Verification, Proceedings