@misc{indiciaecc668a8753cd,
  title = {The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC},
  author = {Daiki Takahashi and Ken Kaneiwa},
  year = {2022},
  url = {https://arxiv.org/abs/2208.05279},
  note = {Source identifier: 2208.05279}
}