伊曼纽尔·基隆斯基 Antti Kuusisto公司 树上的一维逻辑。 64:1-64:13 2017 多功能控制系统 https://doi.org/10.4230/LIPIcs.MFCS.2017.64 conf/mfcs/2017 db/conf/mfcs/mfcs2017.html#KieronskiK17