SETHEO a high-performance theorem prover (1990)