Norihiro Kamide Combining Soft Linear Logic and Spatio-temporal Operators. 625-650 2004 14 J. Log. Comput. 5 http://dx.doi.org/10.1093/logcom/14.5.625 db/journals/logcom/logcom14.html#Kamide04