IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning (1992 Beijing, China)