Bry, François; Manthey, Rainer
Variations on a Theme: A Bibliography on
Approaches to Theorem Proving
Inspired From Satchmo.
This articles is a structured bibliography on theorem provers,
approaches to theorem proving, and theorem proving applications inspired
from Satchmo, the model generation theorem prover developed
in the mid 80es of the 20th century at ECRC, the European Computer-
Industry Research Centre. Note that the bibliography given in this article
is not exhaustive.