@文章{zbMATH07268910，作者={Costa、Gabriele和Galletta、Letterio和Degano、Pierpaolo和Basin、David和Bodei、Chiara}，标题={作为部分模型检查的自然投影}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN＝{0168-7433}，体积={64}，数字={7}，页码={1445--1481}，年份={2020年}，语言={英语}，DOI={10.1007/s10817-020-09568-7}，关键词={68Q60,68Q45}，zbMATH={7268910}，Zbl={1468.68124}}