@misc{indiciae2b3fc551645b,
  title = {A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions},
  author = {Diego Agustín Ambrossio and Marcos Cramer},
  year = {2019},
  url = {https://arxiv.org/abs/1910.04010},
  note = {Source identifier: 1910.04010}
}