= ACM Transactions on Computational Logic {wiki=ACM_Transactions_on_Computational_Logic}
Back to article page