摘要
N.Alon、R.Yuster和U.Zwick。 彩色编码。 美国医学会杂志，42（4）：844--8561995。 谷歌学者 
数字图书馆 
M.Bannach、C.Stockhusen和T.Tantau。 通过颜色编码的快速并行固定参数算法。 2015年IPEC会议记录，第224-235页，2015年。 谷歌学者 M.Bannach和T.Tantau。 平行多元元理论。 在IPEC 2016中，2017年第4:1--4:17页。 谷歌学者 M.Bannach和T.Tantau。 用AC0-电路计算击中集核。 2018年STACS会议记录，第9:1-9:14页。 谷歌学者 D.A.混合Barrington、N.Immerman和H.Straubing。关于NC1内的均匀性。 计算机与系统科学杂志，41（3）：274-3061990。 谷歌学者 数字图书馆 P.Beame、R.Impagliazzo和T.Pitassi。 改进了小距离连接的深度下限。 计算复杂性，7（4）：325-3451998。 谷歌学者 数字图书馆 C.C.Chang和H.J.Keisler。 模型理论。 逻辑和数学基础研究。 Elsevier，第三版，1990年。 谷歌学者 H.Chen和M.Muller。 联合查询的精细分类和参数化对数空间。 TOCT，7（2）：2015年7月1日-7:27日。 谷歌学者 数字图书馆 Y.Chen和J.Flum。 参数化AC0中的一些下限。 在2016年MFCS会议记录中，第27:1-27:14页，2016年。 谷歌学者 Y.Chen、J.Flum和X.Huang。 量词秩有界的一阶逻辑中的切片可定义性。 《2017年CSL会议记录》，2017年第19:1--19:16页。 谷歌学者 B.库塞尔。 图形重写：代数和逻辑方法。 《理论计算机科学手册》B卷，第193-242页。 1990 谷歌学者 数字图书馆 M.Elberfeld、M.Grohe和T.Tantau。 其中一阶逻辑和一元二阶逻辑重合。 ACM事务处理。 计算。 日志。， 17(4):25:1--25:18, 2016. 谷歌学者 数字图书馆 M.Elberfeld、A.Jakoby和T.Tantau。 常数和对数深度电路类的算法元定理。 2012年STAGS，第66-77页。 谷歌学者 J.Flum和M.Grohe。 固定参数可处理性、可定义性和模型检查。 SIAM计算机杂志，31（1）：113--1452001。 谷歌学者 数字图书馆 J.Gajarsk和P.Hlinen。 对固定高度树的MSO属性进行核化，以及一些结果。 《计算机科学中的逻辑方法》，11（1），2015年。 谷歌学者 P.G.Kolaitis和M.Y.Vardi。 连接查询包含和约束满足。 1998年第17届数据库系统原理研讨会论文集，第205-213页。 谷歌学者 数字图书馆 J.Nesetril和P.Ossona de Mendez。 树深度、子图着色和同态界。 欧洲法学委员会。， 27(6):1022--1041, 2006. 谷歌学者 数字图书馆 A.桑卡兰。 向下Löwenheim-Skolem特性的有限模拟。 《2017年CSL会议记录》，第37:1--37:21页，2017年。 谷歌学者
