Abhishek Kr Singh, Raja Natarajan. Towards a Constructive Formalization of Perfect Graph Theorems. In Md. Aquil Khan, Amaldev Manuel, editors, Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Volume 11600 of Lecture Notes in Computer Science, pages 183-194, Springer, 2019. [doi]
Abstract is missing.