Não informado. (1985). Journal of Automated Reasoning. D. Reidel Publishing.
Čikaški stil citiranja (17. izdanje)Não informado. Journal of Automated Reasoning. Dordrecht, Holanda: D. Reidel Publishing, 1985.
MLA način citiranja (8. izdanje)Não informado. Journal of Automated Reasoning. D. Reidel Publishing, 1985.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.