On Resolution in Fragments of Classical Linear Logic.

James Harland, David J. Pym

Browse the full LPAR paper archive.