1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. of Logic and Computation 2(3), 297–347 (1992)
2. Boespflug, M.: Conception d’un noyau de vérification de preuves pour le λΠ-calcul modulo. PhD thesis, Ecole Polytechnique (2011)
3. Lecture Notes in Computer Science;T. Brock-Nannestad,2010
4. Chaudhuri, K.: The Focused Inverse Method for Linear Logic. PhD thesis, Carnegie Mellon University, Technical report CMU-CS-06-162 (December 2006)
5. Lecture Notes in Artificial Intelligence;K. Chaudhuri,2008