TY  - RPRT
TI  - On correctness and completeness of an n queens program
AU  - Włodzimierz Drabent
PY  - 2021
DO  - 10.1017/s1471068421000223
UR  - https://arxiv.org/abs/2108.08079
ID  - 2108.08079
ER  -