Logic programming in a fragment of intu- itionistic hnear logic (1994)

by Joshua Hodas, Dale Miller
Venue:in the Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science