Alvaro del Val On 2-SAT and Renamable Horn. 279-284 2000 conf/aaai/2000 AAAI/IAAI db/conf/aaai/aaai2000.html#Val00