Templates

ACM Transactions on Computational Logic

This Authorea document template can be used to prepare documents according to the citation style and authoring guidelines of ACM Transactions on Computational Logic