Links

Dr J K Slaney                      Phone (Aus.):  (026) 125 8607
Automated Reasoning Group, CSL     Phone (Int.): +61 26 125 8607
Australian National University     Fax (Aus.):    (026) 125 8651
Canberra, ACT, 0200, AUSTRALIA     Fax (Int.):   +61 26 125 8651