mlg@acura.siemens.com (Michael Greenberg) (10/02/90)
Can anyone point me to PD theorem provers? Michael Greenberg email: mgreenberg@cadillac.siemens.com Siemens Corporate Research phone: 609-734-3347 755 College Road East Princeton, NJ 08540