BibTeX记录期刊/iandc/MalvoneMMS18
@文章{DBLP:journals/iandc/MalvoneMMS18， author={瓦迪姆·马尔文和 法比奥·莫加维罗和 阿尼埃洛·穆拉诺和 Loredana Sorrentino}， title={关于分级策略量词的推理}， 日志={Inf.Comput.}， 体积＝{259}， 数字={3}， 页数={390--411}， 年份={2018年}， url={ https://doi.org/10.1016/j.ic.2017.08.010 }， doi={10.1016/J.IC.2017.08.010}， timestamp={星期六，2023年9月30日10:14:06+0200}， biburl={ https://dblp.org/rec/journals/iandc/MalvoneMMS18.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
