Automating the Proofs of Strengthening Lemmas in the Abella Proof Assistant. - Dawn Michaelson (CoRR, 2017)

Monadification of attribute grammars. - Dawn Michaelson; Eric Van Wyk (SLE, 2020)

Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers. - Dawn Michaelson; Dominik Schreiber 001; Marijn J. H. Heule; Benjamin Kiesl-Reiter; Michael W. Whalen (TACAS (1), 2023)

A Modular Approach to Metatheoretic Reasoning for Extensible Languages. - Dawn Michaelson; Gopalan Nadathur; Eric Van Wyk (CoRR, 2023)

Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers. - Dawn Michaelson; Dominik Schreiber 001; Marijn J. H. Heule; Benjamin Kiesl-Reiter; Michael W. Whalen (J. Autom. Reason., 2025)