Canonical forms for data specifications (1994)

by F Piessens, E Steegmans
Venue:In Computer Science Logic'94 8th Int.Workshop, CSL'94, Springer LNCS'933