Papers
(The TQCC of ACM Transactions on Computational Logic is . The table below lists those papers that are above that threshold based on CrossRef citation counts. The publications cover those that have been published in the past four years, i.e., from 2019-06-01 to 2023-06-01.)
| Article | Citations |
|---|