@article{chernikov2013a_t6tlo===,
  title = {{A Computer-Assisted Proof of Correctness of a Marching Cubes Algorithm}},
  author = {Andrey Chernikov and Jing Xu. Published in 22 International Meshing Roundtable pages 505 -- 523 Orlando FL October 2013},
  year = {2013},
}