TY - JOUR T1 - Taming Multirelations JO - ACM Transactions on Computational Logic PY - 2016/11/15 AU - Furusawa H AU - Struth G ED - DO - DOI: 10.1145/2964907 VL - 17 IS - 4 SP - 1 EP - 34 Y2 - 2024/12/25 ER -