Path: utzoo!mnetor!uunet!husc6!mailrus!ames!pasteur!ucbvax!MITRE.ARPA!spike%mwcamis
From: spike%mwcamis@MITRE.ARPA
Newsgroups: comp.ai.digest
Subject: unification recipes wanted
Message-ID: <8805021706.AA23580@mitre.arpa>
Date: 2 May 88 17:06:17 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The MITRE Corp., Washington, D.C.
Lines: 11
Approved: ailist@kl.sri.com

--------
     
     If you happen to have a reference list handy on the topic of
      unification algorithms in pattern matching systems, I'd be
      grateful to obtain such.
     
     [On a different note, I send my gratitude to our AIList moderator
     Kenneth Laws for your impressive and sustained effort in providing
     an incredibly useful service.]
     
     Thanks, Ben Bloom (spike@mitre.arpa)