On the Hardness of SAT with Community Structure. - Nathan Mull; Daniel J. Fremont; Sanjit A. Seshia (SAT, 2016)

An Irrelevancy-Eliminating Translation of Pure Type Systems. - Nathan Mull (TYPES, 2022)

On CDCL-Based Proof Systems with the Ordered Decision Strategy. - Nathan Mull; Shuo Pang 002; Alexander A. Razborov (SIAM J. Comput., 2022)