@第{zbMATH07121995条，作者={Paolini、Luca和Piccolo、Mauro和Zorzi、Margherita}，标题={{QPCF}：高阶语言和量子电路}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={63}，数字={4}，页码={941--966}，年份={2019}，语言={英语}，DOI={10.1007/s10817-019-09518-y}，关键词={68N15,81P65,81P68}，zbMATH={7121995}，Zbl={1468.68049}}