Next Steps in Propositional Horn Contraction.

Richard Booth, Thomas Andreas Meyer, Ivan Jos Varzinczak

Browse the full IJCAI paper archive.