bhatta@pravda.gatech.edu (Sambasiva Bhatta) (05/31/91)
I would appreciate if someone can tell me if there are any theorem provers available as public domain software and give pointers to how one can obtain such. Thank you in advance. -- sam