Goran Gogic Christos H. Papadimitriou Martha Sideri Incremental Recompilation of Knowledge. 922-927 1994 AAAI db/conf/aaai/aaai94-2.html#GogicPS94