西尔万·萨尔瓦蒂；伊戈尔·瓦卢基维奇 键入弱MSOL属性。 （英语） Zbl 1448.68316号 日志。方法计算。科学。 13，第1号，第14号论文，27页（2017年）.MSC公司：60年第68季度 03B16号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz}，日志。方法计算。科学。13，第1号，第14号论文，27页（2017；Zbl 1448.68316） 全文： 内政部 arXiv公司
西尔万·萨尔瓦蒂；伊戈尔·瓦卢基维奇 评估与MSOL兼容。 （英语） Zbl 1359.03015号 Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，103-114（2013）。MSC公司：03B40型 03B15号机组 03B25号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz}，LIPIcs——莱布尼茨国际程序。通知。24、103——114（2013；Zbl 1359.03015） 全文： 内政部