@会议记录{misonizhnik_et_al:LIPIcs.ECOOP.2019.7,author={Misonizhnik,Aleksandr和Mordvinov,Dmitry},title={{关于带方差的标称子类型的可满足性}},booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)},页码={7:1-7:20},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-111-5},ISSN={1868-8969},年份={2019},体积={134},editor={Donaldson,Alastair F.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.7},URN={URN:nbn:de:0030-drops-107997},doi={10.4230/LIPIcs.ECOOP.2019.7},annote={关键词:标称类型系统,结构子类型,一阶逻辑,可判定性,软件验证}}