Aucbvax.5882
fa.info-vax
utzoo!decvax!ucbvax!info-vax
Wed Jan 20 23:46:19 1982

>From decvax!watmath!rhbartels@Berkeley Wed Jan 20 23:42:19 1982
Try getting in touch with
    Prof. Martin van Emden
    Computer Science Dept.
    University of Waterloo
    Waterloo, Ont. N2l 3G1
    Canada
    decvax!watmath!mhvanemden