Παραπομπή σε μορφή APA (7η εκδ.)

IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, China, & 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.

Παραπομπή σε μορφή Chicago (17η εκδ.)

IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, China, και 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: North-Holland, 1992.

Παραπομπή σε μορφή MLA (9th εκδ.)

IFIP TC12/WG12.3 International Workshop on Automated Reasoning Beijing, China, και 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.