Reference Manual for the Environmental Theorem Prover: An Incarnation of AURA, Argonne National Laboratory report ANL-88-2 (1988)

by B Smith