Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, primarily in implementation, or in specific research and industrial applications.
The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof its logical properties to a detailed account of a computer program designed to solve various problems in industry.
Print ISSN:  0168-7433
Electronic ISSN:   1573-0670