A Resolution-Based Calculus for Preferential Logics.

Cludia Nalon, Dirk Pattinson

Browse the full CADE paper archive.