Preisanfrage zu Produkt "Conditional and Preferential Logics: Proof Methods and Theorem Proving"