Journal of Automated Reasoning

Proof Pearl: a Formal Proof of Higman's Lemma in ACL2
pp. 229-250(22)
Authors: Martín-Mateos, Francisco; Ruiz-Reina, José; Alonso, José; Hidalgo, María

Conjecture Synthesis for Inductive Theories
pp. 251-289(39)
Authors: Johansson, Moa; Dixon, Lucas; Bundy, Alan

Formal Power Series
pp. 291-318(28)
Author: Chaieb, Amine

A Certified Proof of the Cartan Fixed Point Theorems
pp. 319-336(18)
Authors: Ciolli, Gianni; Gentili, Graziano; Maggesi, Marco