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