In: Proceedings of the 4th Annual Symposium on Document Analysis and Information Retrieval. Annual Symposium on Document Analysis and Information Retrieval (SDAIR-95), April 24-26, Las Vegas, NV, USA, Pages 399-411, 1995.
In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. Dagstuhl Seminare/Workshops, February 27 - March 3, Schloß Dagstuhl, Germany, 1995.
In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice, Sheffield, Pages 43-44, 1995.