Talk:Journal of Automated Reasoning