A Humanlike Approach for Automatic Theorem Proving. - Dominique Pastre (AISB/GI (ECAI), 1978)

Automatic Theorem Proving in Set Theory. - Dominique Pastre (Artif. Intell., 1978)

Knowledge-Based Theorem Proving. - Dominique Pastre (GI Jahrestagung, 1980)

A Language for Expressing Mathematical Knowledge in Automatic Theorem Proving. - Dominique Pastre (ECAI, 1982)

Managing Complex Objects in an Extensible Relational DBMS. - Georges Gardarin; Jean-Pierre Cheiney; Gerald Kiernan; Dominique Pastre; Hervé Stora (VLDB, 1989)

MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics. - Dominique Pastre (Artif. Intell., 1989)

Strong Integration of Spatial Domains and Operators in a relational Database System. - Thierry Larue; Dominique Pastre; Yann Viémont (SSD, 1993)

Automated Theorem Proving in Mathematics. - Dominique Pastre (Ann. Math. Artif. Intell., 1993)

The GéoSabrina design: the way to build a GIS above a spatial data server. - Didier Chrétien; Yann Viémont; Thierry Larue; R. Legoff; Dominique Pastre (SAC, 1994)

MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. - Dominique Pastre (IJCAR, 2001)

Compétitions de démonstrateurs de théorèmes. - Dominique Pastre (Rev. d'Intelligence Artif., 2001)

Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. - Dominique Pastre (AI Commun., 2002)

Utilisation de dessins en résolution de problèmes. - Dominique Pastre (Rev. d'Intelligence Artif., 2002)