Hodas, Joshua S. and Miller, Dale "Logic Programming in a Fragment of Intuitionistic Linear Logic", pp327-365

(1994) Information and Computation, 110(2) May 1, 1994  

Languages mentioned lolli {1992}