@misc{indiciae87f09ad34557,
  title = {SAT-Based Bounded Fitting for the Description Logic ALC},
  author = {Maurice Funk and Jean Christoph Jung and Tom Voellmer},
  year = {2025},
  url = {https://arxiv.org/abs/2507.21752},
  note = {Source identifier: 2507.21752}
}