@TechReport{R52,
 key    =       {R52},
year={2011},
author={Christoph Benzm{\"u}ller and Dov Gabbay and Valerio Genovese and Daniele Rispoli},
title={Embedding and Automating Conditional Logics in Classical Higher-Order Logic},
year = 2011,
note={{http://arxiv.org/abs/1106.3685}},
}