J. Abrial, The B-Book, Assigning Programs to Meanings, 1996.

M. Boespflug, Q. Carbonneaux, and O. Hermant, The ??-Calculus Modulo as a Universal Proof Language, Proof Exchange for Theorem Proving (PxTP), pp.28-43, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00917845

R. Bonichon, TaMeD: A Tableau Method for Deduction Modulo, International Joint Conference on Automated Reasoning (IJCAR), pp.445-459, 2004.
DOI : 10.1007/978-3-540-25984-8_33

R. Bonichon, D. Delahaye, and D. Doligez, Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs, In Logic for Programming Artificial Intelligence and Reasoning LNCS/LNAI, vol.4790, pp.151-165, 2007.
DOI : 10.1007/978-3-540-75560-9_13
URL : https://hal.archives-ouvertes.fr/inria-00315920

P. Brauner, C. Houtmann, and C. Kirchner, Principles of Superdeduction, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp.41-50, 2007.
DOI : 10.1109/LICS.2007.37
URL : https://hal.archives-ouvertes.fr/inria-00133557

G. Burel, Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo, Logical Methods in Computer Science, vol.7, issue.1, pp.1-31, 2011.
DOI : 10.2168/LMCS-7(1:3)2011
URL : https://hal.archives-ouvertes.fr/inria-00278186

G. Burel, Experimenting with Deduction Modulo, Conference on Automated Deduction, pp.162-176, 2011.
DOI : 10.1007/978-3-642-02959-2_10
URL : https://hal.archives-ouvertes.fr/hal-01125858

G. Dowek, T. Hardin, and C. Kirchner, Theorem Proving Modulo, Journal of Automated Reasoning, vol.31, issue.1, pp.33-72, 2003.
DOI : 10.1023/A:1027357912519
URL : https://hal.archives-ouvertes.fr/hal-01199506

M. Jacquel, K. Berkani, D. Delahaye, and C. Dubois, Tableaux Modulo Theories Using Superdeduction, International Joint Conference on Automated Reasoning (IJCAR), pp.332-338, 2012.
DOI : 10.1007/978-3-642-31365-3_26
URL : https://hal.archives-ouvertes.fr/hal-01099338

D. Prawitz, Natural Deduction. A Proof-Theoretical Study, Stockholm Studies in Philosophy, vol.3, 1965.

G. Sutcliffe, The TPTP Problem Library and Associated Infrastructure, Journal of Automated Reasoning, vol.13, issue.2, pp.337-362, 2009.
DOI : 10.1007/s10817-009-9143-8

A. S. Troelstra and H. Schwichtenberg, Basic Proof Theory, 1996.
DOI : 10.1017/CBO9781139168717

A. S. Troelstra and D. Van-dalen, Constructivism in Mathematics: An Introduction, 1988.