TY  - RPRT
TI  - A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions
AU  - Diego Agustín Ambrossio
AU  - Marcos Cramer
PY  - 2019
UR  - https://arxiv.org/abs/1910.04010
ID  - 1910.04010
ER  -