Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching. - Thierry Boy de la Tour; Ricardo Caferra (AAAI, 1987)

A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. - Thierry Boy de la Tour; Ricardo Caferra (ISSAC, 1988)

Some Tools for an Inference Laboratory (ATINF). - Thierry Boy de la Tour; Ricardo Caferra; Gilles Chaminade (STACS, 1988)

The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. - Thierry Boy de la Tour; Gilles Chaminade (AIMSA, 1990)

Minimizing the Number of Clauses by Renaming. - Thierry Boy de la Tour (CADE, 1990)

Optimisation par renommage dans la méthode de résolution. (Optimizations by renaming in the resolution method). - Thierry Boy de la Tour (1991)

Building Proofs by Analogy via the Curry-Horward Isomorphism. - Thierry Boy de la Tour; Christoph Kreitz (LPAR, 1992)

An Optimality Result for Clause Form Translation. - Thierry Boy de la Tour (J. Symb. Comput., 1992)

On the Complexity of Extending Ground Resolution with Symmetry Rules. - Thierry Boy de la Tour; Stéphane Demri (IJCAI, 1995)

Ground Resolution with Group Computations on Semantic Symmetries. - Thierry Boy de la Tour (CADE, 1996)

Clifford Term Rewriting for Geometric Reasoning in 3D. - Thierry Boy de la Tour; Stéphane Fèvre; Dongming Wang 001 (Automated Deduction in Geometry, 1998)

On the Complexity of Finite Sorted Algebras. - Thierry Boy de la Tour (FTP (LNCS Selection), 1998)

Some Techniques of Isomorph-Free Search. - Thierry Boy de la Tour (AISC, 2000)

A Note on Symmetry Heuristics in SEM. - Thierry Boy de la Tour (CADE, 2002)

NP-Completeness Results for Deductive Problems on Stratified Terms. - Thierry Boy de la Tour; Mnacho Echenim (LPAR, 2003)

On Leaf Permutative Theories and Occurrence Permutation Groups. - Thierry Boy de la Tour; Mnacho Echenim (FTP, 2003)

Overlapping Leaf Permutative Equations. - Thierry Boy de la Tour; Mnacho Echenim (IJCAR, 2004)

Preface. - Maria Paola Bonacina; Thierry Boy de la Tour (STRATEGIES@IJCAR, 2004)

An Isomorph-Free SEM-Like Enumeration of Models. - Thierry Boy de la Tour; Prakash Countcham (STRATEGIES@IJCAR, 2004)

On the Complexity of Deduction Modulo Leaf Permutative Equations. - Thierry Boy de la Tour; Mnacho Echenim (J. Autom. Reason., 2004)

Unification in a Class of Permutative Theories. - Thierry Boy de la Tour; Mnacho Echenim (RTA, 2005)

Preface. - Myla Archer; Thierry Boy de la Tour; César A. Muñoz (STRATEGIES@IJCAR, 2006)

Determining Unify-Stable Presentations. - Thierry Boy de la Tour; Mnacho Echenim (RTA, 2007)

Permutative rewriting and unification. - Thierry Boy de la Tour; Mnacho Echenim (Inf. Comput., 2007)

Unification and Matching Modulo Leaf-Permutative Equational Presentations. - Thierry Boy de la Tour; Mnacho Echenim; Paliath Narendran (IJCAR, 2008)

Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries - Thierry Boy de la Tour; Mnacho Echenim (CoRR, 2011)

Analogy in Automated Deduction: A Survey. - Thierry Boy de la Tour; Nicolas Peltier (Computational Approaches to Analogical Reasoning, 2014)

Proof Generalization in $$ mathrm {LK}$$ LK by Second Order Unifier Minimization. - Thierry Boy de la Tour; Nicolas Peltier (J. Autom. Reason., 2016)

Properties of Constrained Generalization Algorithms. - Thierry Boy de la Tour (GCAI, 2017)

A Set-Theoretic Framework for Parallel Graph Rewriting. - Thierry Boy de la Tour; Rachid Echahed (CoRR, 2018)

True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans. - Thierry Boy de la Tour; Rachid Echahed (CoRR, 2019)

Parallelism Theorem and Derived Rules for Parallel Coherent Transformations. - Thierry Boy de la Tour (CoRR, 2019)

Automated Deduction. - Thierry Boy de la Tour; Ricardo Caferra; Nicola Olivetti; Nicolas Peltier; Camilla Schwind (A Guided Tour of Artificial Intelligence Research (2) (II), 2020)

Monographs, a Category of Graph Structures. - Thierry Boy de la Tour (WADT, 2020)

Parallel Coherent Graph Transformations. - Thierry Boy de la Tour; Rachid Echahed (WADT, 2020)

Combining Parallel Graph Rewriting and Quotient Graphs. - Thierry Boy de la Tour; Rachid Echahed (WRLA@ETAPS, 2020)

Parallel Independence in Attributed Graph Rewriting. - Thierry Boy de la Tour (TERMGRAPH@FSCD, 2020)

Parallel rewriting of attributed graphs. - Thierry Boy de la Tour; Rachid Echahed (Theor. Comput. Sci., 2020)

Algebraic Monograph Transformations. - Thierry Boy de la Tour (CoRR, 2023)

Subsumptions of Algebraic Rewrite Rules. - Thierry Boy de la Tour (ACT, 2023)

Algebraic properties and transformations of monographs. - Thierry Boy de la Tour (Theor. Comput. Sci., 2025)