Fong, B;    Zanasi, F;      (2018)    Universal Constructions for (Co)Relations: categories, monoidal categories, and props.                   Logical Methods in Computer Science , 14  (3)      10.23638/LMCS-14(3:14)2018 <https://doi.org/10.23638/LMCS-14%283%3A14%292018>.       Green open access