BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-98-1612
       ENTRY:: October 01, 1998
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Pleiades Project: Collected Work 1997-1998
        TYPE:: Technical Report
      AUTHOR:: Cervesato, Iliano, (editor) 
      AUTHOR:: Mitchell, John C., (editor) 
        DATE:: October 1998
       PAGES:: 80
    ABSTRACT:: This report collects the papers that were written by the
               participants of the Pleiades Project and their collaborators
               from April 1997 to August 1998. Its intent is to give the
               reader an overview of our accomplishments during this initial
               phase of the project. Therefore, rather than including
               complete publications, we chose to reproduce only the first
               four pages of each paper. In order to satisfy the legitimate
               curiosity of readers interested in specific articles, each
               paper can be integrally retrieved from the World-Wide Web
               through the provided URL. A list of the current publications
               of the Pleiades Project is accessible at the URL
               http://theory.stanford.edu/muri/papers.html. Future articles
               will be posted there as they become available.
       NOTES:: [Adminitrivia V1/Prg/19981001]
         END:: STAN//CS-TR-98-1612