ACM Transactions on Computational Logic

Papers
(The H4-Index of ACM Transactions on Computational Logic is 6. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-06-01 to 2026-06-01.)
ArticleCitations
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation17
On Proof Complexity of Resolution over Polynomial Calculus14
Reasoning about Quality and Fuzziness of Strategic Behaviors9
Local Search For Satisfiability Modulo Integer Arithmetic Theories9
Datalog-Expressibility for Monadic and Guarded Second-Order Logic8
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions7
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?6
Good-for-Game QPTL: An Alternating Hodges Semantics6
Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator6
Primal Logic of Information6
Probabilistic Temporal Reasoning Using Superposition Semantics6
0.037283897399902