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

by J Hodas, D Miller
Venue:Journal of Information and Computation