[comp.os.research] Is there any body out there?

80051456@mqcomp.oz (Philip Nettleton) (05/24/87)

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