@InCollection{zbMATH07164144，作者={Makhlouf，Amani和Percebois，Christian和Tran，Hanh Nhi}，标题={关于图形转换程序的两级推理}，BookTitle={图形转换。2019年第12届国际会议，ICGT，作为2019年STAF的一部分，于2019年7月15日至16日在荷兰埃因霍温举行。诉讼程序}，ISBN＝{978-3-030-23610-6；978-3-030-23611-3}，Pages＝{111-127}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-23611-3_7}，关键词={68N30,68Q42,68T27}，URL={oatao.univ-toulouse.fr/24924/1/makhlouf_24924.pdf}，zbMATH={7164144}，Zbl={1429.68043}}