费多·弗明 彼得·戈洛维奇 迪米特里奥斯·M·蒂利科斯 一阶逻辑属性消元距离的参数化复杂性。 17:1至17:35 2022 23 ACM变速器。计算。日志。 三 https://doi.org/10.1145/3517129 db/journals/tocl/tocl23.html#FominGT22