Normal Forms for Partitions and Relations (1999)

by R Bruni, F Gadducci, U Montanari
Venue:In Proc. WADT'98