1. Aiguier, M., Bahrami, D.: Structures for abstract rewriting. Technical report, IBISC, University of Evry, (2006) Long version of the present paper available at http://www.lami.univ-evry.fr/~aiguier/publications.php
2. Aiguier, M., Bahrami, D., Dubois, C.: On a generalised logicality theorem. In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation (AISC). Lecture Notes in Artificial Intelligence, vol. 2385, pp. 51–64. Springer, Berlin Heidelberg New York (2002)
3. Aiguier, M., Boin, C., Longuet, D.: On generalized theorems for normalization of proof trees. Technical report, LaMI, University of Evry val-d’Essonne (2005)
4. Astesiano, E., Cerioli, M.: Free objects and equational deduction for partial conditional specifications. Theor. Comp. Sci. 152, 91–138 (1995)
5. Baader, F., Nipkow, T.: Term Rewriting and All That. C.U. Press (1998)