\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Cesta et~al.}(2009){Cesta, Finzi, Fratini, Orlandini \& Tronci}]{Cesta_etal2009} Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, and Enrico Tronci. "Flexible Plan Verification: Feasibility Results." In \textit{16th RCRA International Workshop on {\textquotedblleft}Experimental evaluation of algorithms for solving problems with combinatorial explosion{\textquotedblright} (RCRA). Proceedings}., 2009.

\end{thebibliography}

