@TechReport{R53,
 key    =       {R53},
year={2012},
author={Christoph Benzm{\"u}ller and Thomas Raths},
title={{FMLtoHOL} (version 1.0): Automating First-order Modal Logics with {LEO-II} and Friends},
note={arXiv:1207.6685 (see \url{http://arxiv.org/abs/1207.6685})},
}