Letters to the Editor

Dr. Northrup Fowler III Rome Laboratory Recently I circulated the Waltz taxonomy MVL theorem proving taxonomy, I wonder if AAAI system available by anonymous ftp might not consider a broader review from Stanford. Systems architectures and thereby gain some sense 2. Loop detection and recursion control of current relative interest and, over in the underlying theorem prover. Featuring applications in: of the discipline as a whole relative 4. A fast unifier that includes an Banking and Finance a valuable service to those who serve sequence variables. Published by I'm surprised in a way that AAAI t.stanford.edu, AAAI Press hasn't already undertaken this effort, "anonymous" as your user name, followed as do other professional organizations by any password you wish.