Path: utzoo!attcan!uunet!lll-winken!lll-lcc!ames!haven!uflorida!mailrus!tut.cis.ohio-state.edu!bloom-beacon!nswitgould.OZ.AU!osborn
From: osborn@nswitgould.OZ.AU (Tom Osborn)
Newsgroups: comp.ai.digest
Subject: Re: Info on Automatic Reasoning
Message-ID: <8809282312.AA07972@uunet.UU.NET>
Date: 27 Sep 88 17:47:57 GMT
References: <19880914011928.3.NICK@HOWARD-JOHNSONS.LCS.MIT.EDU>
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 12
Approved: ailist@ai.ai.mit.edu

Contact A/Prof Graham Wrightson (now) at Newcastle Uni. (probably
graham@nucs.oz).  The network to Newcastle is very very very poor
so you may have to call him by phone.

Alternatively, get a copy of 'AI in Australia' from A/Prof John Debenham
at UTS. AIIA list all AI activities in oz by category and researcher. 

(A/Prof J K Debenham,
 School of Computing Sciences,
 University of Technology, Sydney,
 PO Box 123 BROADWAY 2007.)

Cheers, Tomasso.