伊曼纽尔·基伦斯基 关于具有等价关系或传递关系的保护片段的结果。 309-324 2005 conf/csl/2005 CSL公司 https://doi.org/10.1007/11538363_22 db/conf/csl/csl2005.html#Kieronski05