TY  - RPRT
TI  - An Incremental Knowledge Compilation in First Order Logic
AU  - Manoj K. Raut
PY  - 2011
UR  - https://arxiv.org/abs/1110.6738
ID  - 1110.6738
ER  -