Philippe Chatalic, Laurent Simon. Multi-resolution on compressed sets of clauses. In 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada. pages 2-10, IEEE Computer Society, 2000. [doi]
Abstract is missing.