Pastre, Dominique. 1978. “Automatic Theorem Proving in Set Theory.”Artificial Intelligence 10(1): 1–27.
Pastre, Dominique. 1989. “MUSCADET: An Automatic Theorem Proving System Using Knowledge and Metaknowledge in Mathematics.”Artificial Intelligence 38(3): 257–318.