Science with Minisat 01 - Giménez, Alvaro (Kluwer Academic Publishers, 2001)