Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!ames!ucbcad!ucbvax!decvax!decwrl!labrea!glacier!jbn
From: jbn@glacier.UUCP
Newsgroups: comp.ai
Subject: Re: automatic theorem proving
Message-ID: <16514@glacier.STANFORD.EDU>
Date: Mon, 23-Feb-87 11:56:02 EST
Article-I.D.: glacier.16514
Posted: Mon Feb 23 11:56:02 1987
Date-Received: Thu, 26-Feb-87 22:09:30 EST
References: <1004@cartan.Berkeley.EDU>
Reply-To: jbn@glacier.UUCP (John B. Nagle)
Distribution: na
Organization: Stanford University
Lines: 8


     The best thinking on the subject is in "A Computational Logic", by
Robert Boyer and Jay Moore (Academic Press, 1979, ISBN 0-12-122950-5).
The field has regressed somewhat since then.

					John Nagle