迈克尔·德克蒂亚 亚历山大·贾。迪科夫斯基 鲍里斯·卡洛夫 类别依赖语法。 33-63 2015 579 西奥。计算。科学。 https://doi.org/10.1016/j.tcs.2015.01.043 db/journals/tcs/tcs579.html#DekhtyarDK15