%&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. "Verifying Flexible Timeline-based Plans." In \textit{E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems}., 2009.

\end{thebibliography}

\end{document}

