Não informado. (1985). Journal of Automated Reasoning. D. Reidel Publishing.
Citação do estilo Chicago (17ª ed.)Não informado. Journal of Automated Reasoning. Dordrecht, Holanda: D. Reidel Publishing, 1985.
Citação MLA (8ª ed.)Não informado. Journal of Automated Reasoning. D. Reidel Publishing, 1985.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.