1. Computational interpretations of linear logic;Abramsky;Theoret. Comput. Sci.,1993
2. Logic programming with focusing proofs in linear logic;Andreoli;J. Logic and Comput.,1993
3. Logic programming with sequent systems: A linear logic approach;Andreoli,1989
4. Linear objects: logical processes with built-in inheritance;Andreoli,1990
5. Proof nets for multiplicative and additive linear logic;Bellin,1991