Bar-Hillel Theorem Mechanization in Coq. - Sergey Bozhko; Leyla Khatbullina; Semyon V. Grigorev (WoLLIC, 2019)