Não informado. (1985). Journal of Automated Reasoning. D. Reidel Publishing.
Παραπομπή σε μορφή Chicago (17η εκδ.)Não informado. Journal of Automated Reasoning. Dordrecht, Holanda: D. Reidel Publishing, 1985.
Παραπομπή σε μορφή MLA (8th εκδ.)Não informado. Journal of Automated Reasoning. D. Reidel Publishing, 1985.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.