G. Dowek and B. Werner, Abstract, The Journal of Symbolic Logic, vol.87, issue.04, pp.1289-1316, 2003.
DOI : 10.1007/BFb0037116

O. Hermant, Méthodes Sémantiques en Déduction Modulo, 2005.

G. Dowek, Truth Values Algebras and Proof Normalization, In: TYPES, pp.110-124, 2006.
DOI : 10.1007/978-3-540-74464-1_8

C. Houtmann, Cohérence de la déduction surnaturelle, 2006.

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. Dowek, About Folding-Unfolding Cuts and Cuts Modulo, Journal of Logic and Computation, vol.11, issue.3, pp.419-429, 2001.
DOI : 10.1093/logcom/11.3.419
URL : https://hal.archives-ouvertes.fr/inria-00072640

D. Prawitz, Natural Deduction, a Proof-theoretical Study, 1965.