1. Fuzzy logic in man-machine systems

   • Toshiro Terano

   Preface Pages: 131 - 132

2. Declarative error diagnosis

   • J. W. Lloyd

   Regular Papers Pages: 133 - 154

3. The Recursive Resolution method for Modal Logic

   • Man-chung Chan

   Regular Papers Pages: 155 - 183

4. A layered method for process and code mapping

   • Stephen Taylor
   • Evyatar Av-Ron
   • Ehud Shapiro

   Regular Papers Pages: 185 - 205