Boolean Network Games and Iterated Boolean Games. - Jeremy Seligman; Declan Thompson (LORI, 2015)

Formalisation vs. Understanding - A Case Study in Isabelle. - Declan Thompson (UCNC, 2015)

Incompleteness, Undecidability and Automated Proofs - (Invited Talk). - Cristian S. Calude; Declan Thompson (CASC, 2016)

Teaching Natural Deduction in the Right Order with Natural Deduction Planner. - Declan Thompson; Jeremy Seligman (FLAP, 2017)

Computable Execution Traces. - Declan Thompson (WoLLIC, 2021)

Execution trace sets for real computation. - Declan Thompson (Theor. Comput. Sci., 2023)