Richard Booth Thomas Meyer Ivan José Varzinczak Next Steps in Propositional Horn Contraction. 702-707 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-122.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#BoothMV09