Path: utzoo!mnetor!uunet!husc6!mailrus!ames!pasteur!ucbvax!ANL-MCS.ARPA!lusk%antares
From: lusk%antares@ANL-MCS.ARPA
Newsgroups: comp.ai.digest
Subject: address needed
Message-ID: <8803311323.AA00588@donner2>
Date: 31 Mar 88 13:23:42 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 8
Approved: ailist@kl.sri.com


Here is everything I know about Zorba: (well, not quite everything)

alias mcrobbie mam%arp.anu.oz@uunet.uu.net

Michael McRobbie 61-62-492035  \
  Dr. Michael McRobbie, Automated Reasoning Project, RSSS, \
  Australian National University, G.P.O. Box 4, Canberra, 2601, A.C.T.