[comp.ai] Theorem Provers -- RRL and REVE

alexande@grover.cs.unc.edu (Geoffrey D. Alexander) (02/22/91)

Can someone tell me where I might obtain copies of the theorem provers RRL and
REVE?

Thanks,
Geoff Alexander
alexande@cs.unc.edu