Journal of Automated Reasoning
http://www.springerlink.com/content/100280/Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers.
Submitted in section: Artificial Intelligence: Publications: Journals: Journal of Automated Reasoning