Extensional rewriting with sums (2007)

by S Lindley
Venue:In TLCA