| Title | A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Flávio Cruz and Ricardo Rocha and Seth C. Goldstein |
| Editor | Thomas Ströder and Terrance Swift |
| Conference Name | International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014) |
| Month of Publish | July |
| Conference Location | Vienna, Austria |
| URL | http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2014/2014-09.pdf |
