A static analysis for classical linear logic programming language (1999)

by K-S Kang, N Tamura
Venue:In Proceedings of the 1999 International Conference on Logic Programming