@inproceedings{CodescuEtAl2011d,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Codescu, Mihai and Horozal, Fulya and Kohlhase, Michael and Mossakowski, Till and Rabe, Florian},
  biburl = {https://www.bibsonomy.org/bibtex/28d44083eec0cda5ea434204a5100ec8c/tillmo},
  booktitle = {Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings},
  editor = {Davenport, James H. and Farmer, William M. and Urban, Josef and Rabe, Florian},
  interhash = {ef5456369769b543c6037f3edde6a557},
  intrahash = {8d44083eec0cda5ea434204a5100ec8c},
  keywords = {LF formalisation logic translation},
  pages = {289-291},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/cicm11.pdf},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Project Abstract: Logic Atlas and Integrator (LATIN)},
  url = {http://www.springerlink.com/content/978-3-642-22672-4/#section=924827},
  volume = 6824,
  year = 2011
}