@misc{indiciaea1203ec580c0,
  title = {An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic},
  author = {Antoine Martina and Alexander Steen},
  year = {2023},
  doi = {10.1093/logcom/exad079},
  url = {https://arxiv.org/abs/2312.08375},
  note = {Source identifier: 2312.08375}
}