TY - CHAP U1 - Konferenzveröffentlichung A1 - Hense, Andreas V. A1 - Smolka, Gert T1 - A Verification of Extensible Record Types T2 - Shi (Ed.): Automated Reasoning. Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 Y1 - 1992 SN - 0-444-89876-X SB - 0-444-89876-X SP - 137 EP - 164 ER -