1. Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts

   • Chuck Liang
   • Gopalan Nadathur
   • Xiaochu Qi

   OriginalPaper 17 February 2005 Pages: 89 - 132

2. Representing and Building Models for Decidable Subclasses of Equational Clausal Logic

   • N. Peltier

   OriginalPaper 14 February 2005 Pages: 133 - 170

3. Octopus: Combining Learning and Parallel Search

   • Monty Newborn
   • Zongyan Wang

   OriginalPaper 14 February 2005 Pages: 171 - 218