Relational decomposition (2011)

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