@InProceedings{C37,
  key =		 {C37},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Automating Quantified Conditional Logics in {HOL}},
  booktitle =	 {23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)}, 
  address =	 {Beijing, China},
  editor =       {Francesca Rossi},
  chrisnote =    {acceptance rate <= 28 \%},
  year =	 2013
}