%&LaTeX
\documentclass{article}

\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{textcomp}

\begin{document}

\begin{thebibliography}{1}

\bibitem{Cesta_etal2009} Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, and Enrico Tronci. "Flexible Timeline-Based Plan Verification." In \textit{KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings}, edited by B. {\~A}. ¤rbel Mertsching, M. Hund and M. Z. Aziz, 49--56. Lecture Notes in Computer Science 5803. Springer, 2009. ISSN: 978-3-642-04616-2. DOI: 10.1007/978-3-642-04617-9_7.

\end{thebibliography}

\end{document}

