Logic Programming in a Fragment of Intuitionistic Linear Logic
1994 ◽
Vol 110
(2)
◽
pp. 327-365
◽
1999 ◽
Vol 227
(1-2)
◽
pp. 185-220
◽
1999 ◽
Vol 9
(3)
◽
pp. 253-286
◽
2005 ◽
Vol 13
(1)
◽
pp. 1-36
◽