@inproceedings{HenseSmolka1992, author = {Andreas V. Hense and Gert Smolka}, title = {A Verification of Extensible Record Types}, series = {Shi (Ed.): Automated Reasoning. Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992}, isbn = {0-444-89876-X}, pages = {137 -- 164}, year = {1992}, language = {en} }