Norihiro Kamide Linear Logics with Communication-merge. 3-20 2005 15 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exh029 db/journals/logcom/logcom15.html#Kamide05