\begin{thebibliography}{1}

\bibitem{BjorklundJonssonKaati:2012}
J.~Björklund, E.~Jönsson, and L.~Kaati.
\newblock Aspects of plan operators in a tree automata framework.
\newblock In {\em Proc.\ FUSION 2012, Singapore}, 2012.

\bibitem{Jonsson:2012}
E.~Jönsson.
\newblock Evaluating a plan-recognition framework using tree automata.
\newblock Technical Report UMNAD 895, Umeå University, 2012.

\end{thebibliography}
