@misc{indiciae167a77ab94cc,
  title = {An Incremental Knowledge Compilation in First Order Logic},
  author = {Manoj K. Raut},
  year = {2011},
  url = {https://arxiv.org/abs/1110.6738},
  note = {Source identifier: 1110.6738}
}