Journal of automated reasoning. Kluwer Academic Publishers.
Chicago Style (17th ed.) CitationJournal of Automated Reasoning. [Dordrecht]: Kluwer Academic Publishers.
MLA (9th ed.) CitationJournal of Automated Reasoning. Kluwer Academic Publishers.
Warning: These citations may not always be 100% accurate.