Logic Programming in a Fragment of Intuitonistic Linear Logic (1991)

by J Hodas, D Miller
Venue:Proceedings of the Symposium on Logic in Computer Science 32-42