Efficient Implementation of a Linear Logic Programming Language.

Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang

Browse the full ICLP paper archive.