@收款{zbMATH06965524,作者={克里格尔,弗朗西斯科},标题={并行属性探索},BookTitle={基于图形的表示和推理。第22届概念结构国际会议,2016年ICCS,法国安内西,2016年7月5-7日。诉讼程序},国际标准图书编号={978-3-319-40984-9;978-3-3169-40985-6},Pages={91-106},年份={2016年},出版商={Cham:Springer},语言={英语},DOI={10.1007/978-3-319-40985-6_8},关键词={68T30},zbMATH={6965524},Zbl={1398.68516}}