Embedding and automating conditional logics in classical higher-order logic (2012)

by C Benzmüller, D Gabbay, V Genovese, D Rispoli
Venue:Ann Math Artif Intell