Some algebraic laws for spans (and their connections with multirelations (2001)

by R Bruni, F Gadducci
Venue:Proc. RelMiS 2001, ENTCS 44.3, Elsevier