1. Logic programming with focusing proofs in linear logic;Andreoli;Journal of Logic and Computation,1992
2. Uniform proofs as a foundation for logic programming;Miller;Annals of Pure and Applied Logic,1991
3. H. Herbelin, Séquents qu’on calcule: de l’interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes, Ph.D. Thesis, Université Paris, vol. 7, 1995
4. LJQ: A strongly focused calculus for intuitionistic logic;Dyckhoff,2006
5. J.M. Howe, Proof Search Issues in Some Non-Classical Logics, Ph.D. Thesis, University of St. Andrews, available as University of St. Andrews Research Report CS/99/1, Dec. 1998