Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!husc6!think!ames!sdcsvax!darrell
From: 80051456@mqcomp.oz (Philip Nettleton)
Newsgroups: comp.os.research
Subject: Is there any body out there? (Semantic Theorem Provers)
Message-ID: <3217@sdcsvax.UCSD.EDU>
Date: Sun, 24-May-87 12:25:52 EDT
Article-I.D.: sdcsvax.3217
Posted: Sun May 24 12:25:52 1987
Date-Received: Sun, 24-May-87 21:42:40 EDT
Sender: darrell@sdcsvax.UCSD.EDU
Organization: Computing Discipline, Macquarie Uni, NSW, 2109, Australia
Lines: 10
Approved: mod-os@sdcsvax.uucp

I would be interested in hearing from anyone currently involved in
R&D of Semantic Tableau Theorem Provers. I am currently engaged in
such research myself, based on the method suggested by Graham
Wrightson combining links and unification in the proof procedure.

			Philip Nettleton

		      Macquarie University
     School of Mathematics, Physics, Electronics, Computing
		      Computing Discipline