R. Farooque, S. Graham-lengrand, and A. Mahboubi, ) and a proof-search strategy for the focused sequent calculus, Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, LFMTP '13, 2013.
DOI : 10.1145/2503887.2503892

M. Farooque, S. Lengrand, and A. Mahboubi, Two simulations about DPLL(T) Technical report, Laboratoire d'informatique de l'École Polytechnique -CNRS, p.44

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

R. Nieuwenhuis, A. Oliveras, and C. Tinelli, Solving SAT and SAT Modulo Theories, Journal of the ACM, vol.53, issue.6, pp.937-977, 2006.
DOI : 10.1145/1217856.1217859