Variations on a Theme: A Bibliography onApproaches to Theorem ProvingInspired From Satchmo

摘要

This articles is a structured bibliography on theorem provers,approaches to theorem proving, and theorem proving applications inspiredfrom Satchmo, the model generation theorem prover developedin the mid 80es of the 20th century at ECRC, the European Computer-Industry Research Centre. Note that the bibliography given in this articleis not exhaustive.