@misc{indiciaefda1d14a95b8,
  title = {Inclusion with repetitions and Boolean constants -- implication problems revisited},
  author = {Matilda Häggblom},
  year = {2025},
  url = {https://arxiv.org/abs/2503.20647},
  note = {Source identifier: 2503.20647}
}