1. The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups;International Journal of Algebra and Computation;2022-07-30
2. Gödel’s Legacy;Humanizing Mathematics and its Philosophy;2017
3. Red Spider Meets a Rainworm;Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2016-06-15
4. Comparative Similarity, Tree Automata, and Diophantine Equations;Logic for Programming, Artificial Intelligence, and Reasoning;2005
5. Degrees of logics with Henkin quantifiers in poor vocabularies;Archive for Mathematical Logic;2004-04-23