On Resolution in Fragments of Classical Linear Logic.

James Harland David J. Pym On Resolution in Fragments of Classical Linear Logic. 30-41 1992 conf/lpar/1992 LPAR db/conf/lpar/lpar92.html#HarlandP92 http://dx.doi.org/10.1007/BFb0013046