Quaife, A. "Automated Development of Fundamental Mathematical Theories". PhD thesis, University of California at Berkeley, 1990.

Languages mentioned

• Otter {1988}