Armin Biere Ofer Strichman Introductory paper. 87-88 2005 7 STTT 2 http://dx.doi.org/10.1007/s10009-004-0186-1 db/journals/sttt/sttt7.html#BiereS05