Compiling Resources in a Linear Logic Programming Language.

Published in: Implementation Technology for Programming Languages based on Logic (1998)