Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts Chuck LiangGopalan NadathurXiaochu Qi OriginalPaper 17 February 2005 Pages: 89 - 132
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic N. Peltier OriginalPaper 14 February 2005 Pages: 133 - 170
Octopus: Combining Learning and Parallel Search Monty NewbornZongyan Wang OriginalPaper 14 February 2005 Pages: 171 - 218