@misc{indiciae7fcc5d170a01,
  title = {On correctness of an n queens program},
  author = {Włodzimierz Drabent},
  year = {2020},
  url = {https://arxiv.org/abs/1909.07479},
  note = {Source identifier: 1909.07479}
}