Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang
Efficient Implementation of a Linear Logic Programming Language
ICLP, 1998.
@inproceedings{JICSLP-1998-HodasWTK, author = "Joshua S. Hodas and K. M. Watkins and Naoyuki Tamura and Kyoung-Sun Kang", booktitle = "{Proceedings of the Joint International 15th Conference and Symposium on Logic Programming}", isbn = "0-262-60031-5", pages = "145--159", publisher = "{MIT Press}", title = "{Efficient Implementation of a Linear Logic Programming Language}", year = 1998, }