\documentclass{rtaloop}
\begin{document}
\begin{problem}{Bruno Courcelle}{}{January 2005}
\begin{abstract}
Equational axiomatization of graph operations
\end{abstract}
Given a set of graph operations like disjoint union, edge-complement,
quantifier-free definable operations (like relabellings). When can one
axiomatize its equational theory by finitely many equational rules or by
infinitely many rules describable in finitary ways?
See \cite{BauderonCourcelle87mst}.
\end{problem}
\end{document}