Logic programming in a fragment of intuitionistic linear logic (1992)

by Joshua Hodas, Dale Miller
Venue:Journal of Information and Computation