J. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297

K. R. Apt and E. Marchiori, Reasoning about Prolog programs: From modes through types to assertions, Formal Aspects of Computing, vol.59, issue.1, pp.743-764, 1994.
DOI : 10.1007/BF01213601

C. Beeri and R. Ramakrishnan, On the power of magic, The Journal of Logic Programming, vol.10, issue.3-4, pp.255-299, 1991.
DOI : 10.1016/0743-1066(91)90038-Q

K. Chaudhuri, The Focused Inverse Method for Linear Logic, 2006.

K. Chaudhuri, Classical and Intuitionistic Subexponential Logics Are Equally Expressive, CSL 2010: Computer Science Logic, pp.185-199, 2010.
DOI : 10.1007/978-3-642-15205-4_17
URL : https://hal.archives-ouvertes.fr/inria-00534865

K. Chaudhuri and F. Pfenning, A Focusing Inverse Method Theorem Prover for First-Order Linear Logic, Proceedings of the 20th Conference on Automated Deduction (CADE), pp.69-83, 2005.
DOI : 10.1007/11532231_6

K. Chaudhuri, F. Pfenning, and G. Price, A Logical Characterization of Forward and Backward Chaining in the Inverse Method, Journal of Automated Reasoning, vol.2, issue.5, pp.133-177, 2008.
DOI : 10.1007/s10817-007-9091-0

A. Degtyarev and A. Voronkov, The Inverse Method, Handbook of Automated Reasoning, pp.179-272, 2001.
DOI : 10.1016/B978-044450813-3/50006-0

K. Donnelly, T. Gibson, N. Krishnaswami, S. Magill, and S. Park, The Inverse Method for the Logic of Bunched Implications, Proceedings of the 11th International Conference on Programming, pp.466-480, 2004.
DOI : 10.1007/978-3-540-32275-7_31

S. Heilala and B. Pientka, Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4, Proceedings of the 21st International Conference on Automated Deduction (CADE), volume 4603 of LNAI, pp.116-131, 2007.
DOI : 10.1007/978-3-540-73595-3_9

J. M. Howe, Proof Search Issues in Some Non-Classical Logics, 1998.

C. Liang and D. Miller, Focusing and polarization in linear, intuitionistic, and classical logics, Theoretical Computer Science, vol.410, issue.46, pp.4747-4768, 2009.
DOI : 10.1016/j.tcs.2009.07.041

C. Liang and D. Miller, A Unified Sequent Calculus for Focused Proofs, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.355-364, 2009.
DOI : 10.1109/LICS.2009.47

P. Mascellani and D. Pedreschi, The declarative side of magic In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp.83-108, 2002.

S. Mclaughlin and F. Pfenning, Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic, 15th International Conference on Logic, Programming, pp.174-181, 2008.
DOI : 10.1007/978-3-540-89439-1_12

D. Miller and V. Nigam, Incorporating Tables into Proofs, Computer Science Logic Lecture Notes in Computer Science, vol.4646, pp.466-480, 2007.
DOI : 10.1007/978-3-540-74915-8_35

D. Miller and A. Saurin, From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic, CSL 2007: Computer Science Logic, pp.405-419, 2007.
DOI : 10.1007/978-3-540-74915-8_31
URL : https://hal.archives-ouvertes.fr/hal-00527888

J. D. Ullman, Principles of Database and Knowledge-base Systems, Volume II: The New Techniques. Principles of Computer Science, 1989.