- Mnacho Echenim, Nicolas Peltier. Combining Induction and Saturation-Based Theorem Proving. Journal of Automated Reasoning, 64(2):253-294, 2020.
- Peter Lammich. Efficient Verified (UN)SAT Certificate Checking. Journal of Automated Reasoning, 64(3):513-532, 2020.
- Gadi Tellez, James Brotherston. Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof. Journal of Automated Reasoning, 64(3):555-578, 2020.
- Ricardo Peña. An Assertional Proof of Red-Black Trees Using Dafny. Journal of Automated Reasoning, 64(4):767-791, 2020.
- Cheng-Chao Huang, Ming Xu 0010, Zhi-Bin Li. A Conflict-Driven Solving Procedure for Poly-Power Constraints. Journal of Automated Reasoning, 64(1):1-20, 2020.
- Maximiliano Cristiá, Gianfranco Rossi. Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. Journal of Automated Reasoning, 64(2):295-330, 2020.
- Cláudia Nalon, Ullrich Hustadt, Clare Dixon. n : Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning, 64(3):461-484, 2020.
- Lorenzo Gheri, Andrei Popescu 0001. A Formalized General Theory of Syntax with Bindings: Extended Version. Journal of Automated Reasoning, 64(4):641-675, 2020.
- G. I. Moghaddam, Ranganathan Padmanabhan, Yang Zhang. Automated Reasoning with Power Maps. Journal of Automated Reasoning, 64(4):689-697, 2020.
- Haniel Barbosa, Jasmin Christian Blanchette, Mathias Fleury, Pascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing. Journal of Automated Reasoning, 64(3):485-510, 2020.