TY - CONF T1 - Relational Formalisations of Compositions and Liftings of Multirelations PY - 2015/01/01 AU - Furusawa H AU - Kawahara Y AU - Struth G AU - Tsumagari N ED - DO - DOI: 10.1007/978-3-319-24704-5_6 PB - Springer International Publishing SN - 9783319247038 SP - 84 EP - 100 Y2 - 2025/03/14 ER -