On Correctness and Completeness of an n Queens Program
 |
 |
 |
apice = {NqueensTplp22},
author = {Drabent, W{\l}odzimierz},
doi = {10.1017/S1471068421000223},
eissn = {1475-3081},
issn = {1471-0684},
journal = {Theory and Practice of Logic Programming},
keywords = {logic programming, declarative programming, program completeness, program correctness specification, nonground answers},
number = 1,
numpages = 14,
pages = {37--50},
publisher = {Cambridge University Press},
title = {On Correctness and Completeness of an n {Q}ueens Program},
url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/on-correctness-and-completeness-of-an-n-queens-program/CD974BE79800B9C6C562BBCD046EB08D},
urlopenaccess = {https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CD974BE79800B9C6C562BBCD046EB08D/S1471068421000223a.pdf/on-correctness-and-completeness-of-an-n-queens-program.pdf},
volume = 22,
year = 2022
}