Quaife, A. "Automated development of Tarski?s geometry". J. Automated Reasoning, 5(1):97?118, 1989

Languages mentioned

• Otter {1988}