Cruz, et al.. Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. ACM Press, 2014, doi:10.1145/2643135.2643150.