Local linear logic for locality consciousness in multiset transformation - H. McEvoy; P. H. Hartel (Lecture Notes in Computer Science, 1995)