"Towards a Better Understanding of the Functionality of a Conflict-Driven ..."

Nachum Dershowitz, Ziyad Hanna, Alexander Nadel (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics