Cita APA (7a ed.)

IFIP TC12/WG12.3 International Workshop on Automated Reasoning & Shi, Z. (1992). Automated reasoning: Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992. North-Holland.

Cita Chicago Style (17a ed.)

IFIP TC12/WG12.3 International Workshop on Automated Reasoning y Zhongzhi Shi. Automated Reasoning: Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992. Amsterdam [etc.]: North-Holland, 1992.

Cita MLA (9a ed.)

IFIP TC12/WG12.3 International Workshop on Automated Reasoning y Zhongzhi Shi. Automated Reasoning: Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992. North-Holland, 1992.