Journal of Automated Reasoning
Please see the Springer
website.