Goran Gogic;Russell Impagliazzo;Christos Papadimitriou
-;-;-
Incremental recompilation of knowledge
Journal of Artificial Intelligence Research