Wrapper for SPASS theorem prover. Based on communicating with native-process running the SPASS theorem prover. SPASS Home Page