Não informado. (1985). Journal of Automated Reasoning. D. Reidel Publishing.
Citace podle Chicago (17th ed.)Não informado. Journal of Automated Reasoning. Dordrecht, Holanda: D. Reidel Publishing, 1985.
Citace podle MLA (8th ed.)Não informado. Journal of Automated Reasoning. D. Reidel Publishing, 1985.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..