Title: STeP, the Stanford Temporal Prover
Subjects: Automatic theorem proving