1. Logic programming with sequent systems: A linear Logic Approach;Andreoli,1989
2. Logic Programming with focusing proofs in linear logic;Andreoli;Journal of Logic and Computation,1992
3. P. Armelin Programming with Bunched Implications, PhD Thesis, Queen Mary, University of London, 2002
4. The Permutability of Rules in the Classical Inferential Calculus;Curry;Journal of Symbolic Logic,1952
5. Contraction-free Sequent Calculi for Intuitionistic Logic;Dyckhoff;The Journal of Symbolic Logic,1992