F. Baader and T. Nipkow, Term Rewriting and All That, 1998.

K. Brünnler, Deep Inference and Symmetry in Classical Proofs, 2003.

K. Brünnler and A. Tiu, A Local System for Classical Logic, Lecture Notes in Artificial Intelligence, vol.2250, pp.347-361, 2001.
DOI : 10.1007/3-540-45653-8_24

P. Bruscoli, A Purely Logical Account of Sequentiality in Proof Search, Logic Programming, 18th International Conference, pp.302-316, 2002.
DOI : 10.1007/3-540-45619-8_21

A. Guglielmi, A system of interaction and structure, ACM Transactions on Computational Logic, vol.8, issue.1, 2002.
DOI : 10.1145/1182613.1182614
URL : https://hal.archives-ouvertes.fr/inria-00441214

A. Guglielmi and . Mismatch, Available on the web at http://iccl.tudresden .de/?guglielm, 2003.

S. Hölldobler and O. Kahramano?-gullar?, From the calculus of structures to term rewriting systems, 2004.

O. Kahramano?-gullar?, Implementing system BV of the calculus of structures in maude, Proceedings of the ESSLLI, 2004.

O. Kahramano?-gullar?, System BV without the equalities for unit, Proc. of the 19th Int. Symp. on Computer and Information Sciences, 2004.

O. Kahramano?-gullar? and T. Dresden, Reducing the non-determinism in the calculus of structures, 2005.

O. Kahramano?-gullar?, System BV is NP-complete, Proceedings of WoLLIC'05, 2005.

C. Kirchner, P. Moreau, and A. Reilles, Formal validation of pattern matching code, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, 2005.
DOI : 10.1145/1069774.1069792
URL : https://hal.archives-ouvertes.fr/inria-00000701

P. Moreau, C. Ringeissen, and M. Vittek, A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

C. Stewart and P. Stouppa, A systematic proof theory for several modal logics Accepted at Advances in Modal Logic, 2003.

L. Straßburger, A local system for linear logic, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, pp.388-402, 2002.

L. Straßburger, Linear Logic and Noncommutativity in the Calculus of Structures, 2003.

A. Tiu, Properties of a logical system in the calculus of structures, 2001.

A. Tiu, A Local System for Intuitionistic Logic, 2005.
DOI : 10.1007/11916277_17

M. Van-den-brand, P. Moreau, and J. Vinju, Generator of efficient strongly typed abstract syntax trees in Java, IEE Proceedings - Software, vol.152, issue.2, 2003.
DOI : 10.1049/ip-sen:20041181
URL : https://hal.archives-ouvertes.fr/inria-00000700