ACM Transactions on Computational Logic

Papers
(The H4-Index of ACM Transactions on Computational Logic is 7. 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-08-01 to 2026-08-01.)
ArticleCitations
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation18
Reasoning about Quality and Fuzziness of Strategic Behaviors15
Local Search For Satisfiability Modulo Integer Arithmetic Theories11
Datalog-Expressibility for Monadic and Guarded Second-Order Logic9
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions8
Probabilistic Temporal Reasoning Using Superposition Semantics8
Primal Logic of Information7
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?7
Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator7
1.1143140792847