Xref: utzoo comp.theory:1725 comp.ai:8856 comp.misc:11868
Newsgroups: comp.theory,comp.ai,comp.misc
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!lavaca.uh.edu!menudo.uh.edu!cs.uh.edu!manli
From: manli@cs.uh.edu (Man L. Li)
Subject: Boyer-Moore Theorem Prover wanted
Message-ID: <1991Mar28.043857.21541@menudo.uh.edu>
Sender: usenet@menudo.uh.edu (USENET News System)
Nntp-Posting-Host: solaris.cs.uh.edu
Reply-To: manli@cs.uh.edu (Man L. Li)
Organization: University of Houston
Date: Thu, 28 Mar 1991 04:38:57 GMT


I'm looking for the Boyer-Moore Theorem Prover which was available for ftp
at cs.utexas.edu.  However, the last time I accessed it was no longer there.

If anyone can email me info about this matter I'll appreciate very much.
-------------------------------------------------------------------------
Man L. Li (manli@cs.uh.edu)
Dept. of Computer Science
Univ. of Houston, Houston,TX 77204-3475