@第{zbMATH07043264条，作者={Jackson、Marcel和Mikul，标题={天使和恶魔作品的领域和范围}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={103}，页码={62--78}，年份={2019}，语言={英语}，DOI={10.1016/j.jlamp.2018.11.002}，关键词={68N30,08A70,20M10}，URL={eprints.bbk.ac.uk/id/eprint/24890/1/JM-JLAMP-final.pdf}，zbMATH＝{7043264}，Zbl={1417.68033}}