1. Logic programming with focusing proofs in linear logic;Andreoli;J. Log. Comput.,1992
2. Focussing and proof construction;Andreoli;Ann. Pure Appl. Log.,2001
3. On structuring proof search for first order linear logic;Bruscoli;Theor. Comput. Sci.,2006
4. Focusing strategies in the sequent calculus of synthetic connectives;Chaudhuri,2008
5. The focused inverse method for linear logic;Chaudhuri,2006