Desharnais, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Sutcliffe, G., & Desharnais, M. (2023). The 11th IJCAR automated theorem proving system competition – CASC-J11. AI Communications, 36(2), 73-91. doi:10.3233/AIC-220244.