TY  - RPRT
TI  - Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
AU  - Jos de Bruijn
AU  - Thomas Eiter
AU  - Axel Polleres
AU  - Hans Tompits
PY  - 2010
UR  - https://arxiv.org/abs/0811.0359
ID  - 0811.0359
ER  -