Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
ICLP, 2014.
@article{ICLP-J-2014-CruzRGP, author = "Flávio Cruz and Ricardo Rocha and Seth Copen Goldstein and Frank Pfenning", doi = "10.1017/S1471068414000167", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "493--507", title = "{A Linear Logic Programming Language for Concurrent Programming over Graph Structures}", volume = 14, year = 2014, }