Handbook of automated reasoning. Elsevier [u.a.].
Chicago Style (17th ed.) CitationHandbook of Automated Reasoning. Amsterdam [u.a.]: Elsevier [u.a.].
MLA (9th ed.) CitationHandbook of Automated Reasoning. Elsevier [u.a.].
Warning: These citations may not always be 100% accurate.