Correspondent: Bob.Meyer@anu.edu.au, Automated Reasoning Group,
  Computer Science Laboratory, RSISE, Australian National University,
  Canberra 0200, AUSTRALIA
TEL: 61-2-6291-4348 (H), 61-2-6279-8605 (W), 61-2-6279-8630 (Sec)
FAX: 61-2-6279-8651

rkmeyer@telstra.easymail.com.au
rkm@arp.anu.edu.au