Goran Gogic Christos H. Papadimitriou Martha Sideri Incremental Recompilation of Knowledge. 23-37 1998 8 J. Artif. Intell. Res. (JAIR) http://www.cs.washington.edu/research/jair/abstracts/gogic98a.html db/journals/jair/jair8.html#GogicPS98