Parameterized complexity of completeness reasoning for conjunctive queries

Xianmin Liu, Jianzhong Li, Yingshu Li, Yuqiang Feng. Parameterized complexity of completeness reasoning for conjunctive queries. Theoretical Computer Science, 864:34-49, 2021. [doi]

@article{LiuLLF21,
  title = {Parameterized complexity of completeness reasoning for conjunctive queries},
  author = {Xianmin Liu and Jianzhong Li and Yingshu Li and Yuqiang Feng},
  year = {2021},
  doi = {10.1016/j.tcs.2021.02.005},
  url = {https://doi.org/10.1016/j.tcs.2021.02.005},
  researchr = {https://researchr.org/publication/LiuLLF21},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {864},
  pages = {34-49},
}