“Certified Vertex Cover of a Graph” (2024) European Journal of Pure and Applied Mathematics, 17(2), pp. 1038–1045. doi:10.29020/nybg.ejpam.v17i2.5157.