Incremental Recompilation of Knowledge
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/aaai/GogicPS94, title={Incremental Recompilation of Knowledge}, pages={922-927}, year={1994}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai94-2.html#GogicPS94}, author={Goran Gogic and Christos H. Papadimitriou and Martha Sideri} }\end{bibtex}
