Relational decomposition (2011)

by L Beringer
Venue:In 2nd ITP, volume 6898 of LNCS