Templates

Journal of Automated Reasoning

This Authorea document template can be used to prepare documents according to the citation style and authoring guidelines of Journal of Automated Reasoning