Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!munnari!moncskermit!basser!mqcomp!80051456
From: 80051456@mqcomp.oz (Philip Nettleton)
Newsgroups: comp.os.minix
Subject: Is there any body out there?
Message-ID: <224@mqcomp.oz>
Date: Fri, 29-May-87 20:09:16 EDT
Article-I.D.: mqcomp.224
Posted: Fri May 29 20:09:16 1987
Date-Received: Tue, 2-Jun-87 01:42:23 EDT
Organization: Computing Discipline, Macquarie Uni, NSW, 2109, Australia
Lines: 10
Summary: Semenatic Tableau Theorem Proving.

I would be interested in hearing from anyone currently involve 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