Information and Computation, 110(2) May 1, 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