Methods for solving the Post correspondence problem and certificate generation. - Akihiro Omori; Yasuhiko Minamide (SCSS (Work in Progress), 2024)

Further Tackling Post Correspondence Problem and Proof Generation. - Akihiro Omori; Yasuhiko Minamide (CPP, 2025)