ACM TOCL

ACM Transaction On Computational Logics (TOCL) is not the official journal of the association for logic programming. However, the majority of papers accepted in this journal is undoubtely of our interest. The index of the published papers, as well as the list of yet unpublished accepted papers can be read from thisĀ  official page.