Technical Report TR-SRS-5-95

Automated Reasoning Project
Research School of Information Sciences and Engineering and Centre for Information Science Research
Australian National University

November 12, 1995

SRS-III: Proceedings of the Third Symbolic

Reasoning Systems Project and Third Automated

Reasoning Day Combined Workshop

Editor: Rajeev Gor?e

Abstract These are the papers presented at the Third Symbolic Reasoning Systems Project Workshop held on November 12th, 1995 at the Automated Reasoning Project, Australian National University, Canberra.