伊曼纽尔·基伦斯基 丽迪娅·坦德拉 关于具有等价或传递保护的保护片段的有限可满足性。 318-332 2007 conf/lpar/2007年 LPAR公司 https://doi.org/10.1007/978-3-540-75560-9_24 db/conf/lpar/lpar2007.html#KieronskiT07