Journal of Automated Reasoning. Springer Netherlands, Dordrecht. English. [2 vols. (= 4 issues each) a year]

Journal, ISSN 0168-7433; 1573-0670/e

http://link.springer.com/journal/volumesAndIssues/10817

Cover-to-cover reviewing in Zentralblatt MATH.

Library shelfmarks: GOE: ZA 62726; TIB: ZO 3208; CWI: available