Logic programming in a fragment of intuitionistic linear logic. (1994)

by J S Hodas, D Miller
Venue:Extended abstraction in the Proceedings of the Sixth Annual Symposium on Logic in Computer Science,