@misc{indiciae9b802c1842e1,
  title = {An ASP-Based Framework for MUSes},
  author = {Mohimenul Kabir and Kuldeep S Meel},
  year = {2026},
  doi = {10.4204/eptcs.439.3},
  url = {https://arxiv.org/abs/2507.03929},
  note = {Source identifier: 2507.03929}
}