- Laura Bozzelli, Angelo Montanari, Adriano Peron. Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log., 24(3), 2023.
- Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero 0001. On Monotonic Determinacy and Rewritability for Recursive Queries and Views. ACM Trans. Comput. Log., 24(2), April 2023.
- Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule. SAT-Inspired Eliminations for Superposition. ACM Trans. Comput. Log., 24(1), January 2023.
- Aleksandr Yu. Konovalov. A Generalized Realizability and Intuitionistic Logic. ACM Trans. Comput. Log., 24(2), April 2023.
- Theofanis I. Aravanis. Generalizing Parikh's Criterion for Relevance-Sensitive Belief Revision. ACM Trans. Comput. Log., 24(2), April 2023.
- Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Pérez 0001. Continuous One-counter Automata. ACM Trans. Comput. Log., 24(1), January 2023.
- Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti. On Composing Finite Forests with Modal Logics. ACM Trans. Comput. Log., 24(2), April 2023.
- Catarina Carvalho, Florent R. Madelaine, Barnaby Martin, Dmitriy Zhuk. The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation. ACM Trans. Comput. Log., 24(1), January 2023.
- Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin. Witnesses for Answer Sets of Logic Programs. ACM Trans. Comput. Log., 24(2), April 2023.
- Jan A. Bergstra, John V. Tucker. Eager Equality for Rational Number Arithmetic. ACM Trans. Comput. Log., 24(3), 2023.