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,
}











