, Inria in Brief, 2018.

, Deducteam, 2018.

W. Sandholtz and A. Sandholtz, High-Tech Europe: The Politics of International Cooperation. Comparative Studies of Health Systems and Medical Care, 1992.

A. Assaf, G. Burel, R. Cauderlierand, D. Delahaye, G. Dowek et al., Dedukti: a Logical Framework based on the ??Calculus Modulo Theory

, Accessed 07, 2018.

G. Gonthier, A. Mahboubi, and E. Tassi, A Small Scale Reflection Extension for the Coq system, 2016.
URL : https://hal.archives-ouvertes.fr/inria-00258384

A. Defourné, Proof Tactics in Dedukti, 2017.

G. Gonthier and E. Tassi, A language of patterns for subterm selection, LNCS, vol.7406, pp.361-376, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00652286

A. Papadopoulos, Term matching, 2018.

R. Lepigre and C. Raffalli, Abstract representation of binders in ocaml using the bindlib library, Proceedings of the 13th International Workshop on Logical Frameworks and MetaLanguages: Theory and Practice, vol.274, pp.42-56, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01972050

A. Papadopoulos, F. Slama, R. Lepigre, and F. Blanqui, Rewrite tactic, 2018.