Malek Mouhoub Samira Sadaoui Solving Incremental Satisfiability. 139-147 2007 16 International Journal on Artificial Intelligence Tools 1 http://dx.doi.org/10.1142/S0218213007003254 db/journals/ijait/ijait16.html#MouhoubS07