@misc{indiciae84a3b2f19c1b,
  title = {Borhan: A Novel System for Prioritized Default Logic},
  author = {Alireza Shahbazi and Mohammad Hossein Khojasteh and Behrouz Minaei-Bidgoli},
  year = {2023},
  url = {https://arxiv.org/abs/2310.18224},
  note = {Source identifier: 2310.18224}
}