Z.M.: From syntactic theories to interpreters: Automating the proof of unique decomposition (1999)

by Y Xiao, A Sabry, Ariola
Venue:In: Higher-Order and Symbolic Computation