@misc{indiciae7bae01fff47f,
  title = {Incremental Recompilation of Knowledge},
  author = {G. Gogic and C. H. Papadimitriou and M. Sideri},
  year = {1998},
  url = {https://arxiv.org/abs/cs/9801101},
  note = {Source identifier: cs/9801101}
}