Resolution in fragments of classical linear logic (extended abstract (1992)

by James Harland, David Pym
Venue:Proceedings of the Russian Conference on Logic Programming and Automated Reasoning