@第{zbMATH06715832条，作者={Divroodi，Ali Rezaei和Nguyen，Linh Anh}，标题={关于描述逻辑的互模拟}，FJournal={信息科学}，期刊={信息科学}，ISSN={0020-0255}，体积={295}，页码={465--493}，年份={2015年}，语言={英语}，DOI={10.1016/j.ins.2014.10.022}，关键词={68T27,68T30}，zbMATH={6715832}，Zbl={1409.68279}}