@InCollection｛zbMATH07551715，作者={Kontine，Juha and Meier，Arne and Mahmood，Yasir}，Title={依赖逻辑复杂性的参数化视图}，BookTitle={计算机科学的逻辑基础。国际研讨会，LFCS 2022，美国佛罗里达州迪尔菲尔德海滩，2022年1月10-13日。诉讼}，国际标准图书编号={978-3-030-93099-8；978-3-0.30-93100-1}，页码={125--142}，年份={2022}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-93100-1_9}，关键词={03B70}，URL={hdl.handle.net/10138/338066}，zbMATH={7551715}}