简·德雷尔 Lacon和Shrub分解：有界展开类一阶转导的新表征。 1月13日 2021 低收入国家 https://doi.org/10.1109/LICS52264.2021.9470680 conf/lics/2021 db/conf/lics/lics2021.html#Drier21