Information and Computation, 110(2) May 1, 1994
(1994)
Hodas, Joshua S. and Miller, Dale (1994)
Hodas, Joshua S. and Miller, Dale "Logic Programming in a Fragment of Intuitionistic Linear Logic", pp327-365