spike%mwcamis@MITRE.ARPA (05/03/88)
-------- 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)