John N. Hooker Solving the incremental satisfiability problem. 177-186 1993 15 J. Log. Program. 1&2 db/journals/jlp/jlp15.html#Hooker93