crm@romeo.cs.duke.edu (Charlie Martin) (02/24/90)
I just received a respond from the very Fetzer to my long ago postings on verification. I would not want to quote them without his permission. But I am not impressed. Can you say "ad hominem (abusive)"? Charlie Martin (crm@cs.duke.edu,mcnc!duke!crm)