@第{zbMATH07397420条，作者={刘，叶洲和尼科尔斯库，拉杜和孙，京和亨德森，亚历克}，Title={cP}系统中的次线性{数独}解及其形式验证}，FJournal={摩尔多瓦计算机科学杂志}，期刊={Compute.Sci.J.Mold.}，ISSN={1561-4042}，体积={29}，数字={1（85）}，Pages＝{3-28}，年份={2021}，语言={英语}，关键词={68Q07,05B15,68Q25,68Q60}，URL={www.math.md/publications/csjm/issues/v29-n1/13260/}，zbMATH＝{7397420}，Zbl={1469.68047}}