@第{zbMATH06712190条，作者={Salvati，Sylvain and Walukiewicz，Igor}，标题={键入弱{MSOL}属性}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={13}，数字={1}，页码={27}，注={Id/No 14}，年份={2017年}，语言={英语}，DOI={10.23638/LMCS-13（1:14）2017}，关键词={68Q60,03B16,68N18}，zbMATH={6712190}，Zbl={1448.68316}}