Papers included in this directory: KR94+.ps.Z Generating Tests Using Abduction Sheila McIlraith Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94), 1994. MK.ps.Z On Tests for Hypothetical Reasoning Sheila McIlraith and Ray Reiter in Readings in Model-based Diagnosis, 1992.