TITLE  Specification of a Polynomial Prover in THEOREMA by Example Proofs
AUTHOR Robert Pollak
FILE   97-23
UPLINK ..