ACL — A concurrent linear logic programming paradigm (1993)

by Naoki Kobayashi, Akinori Yonezawa
Venue:Proc. ILPS’03