Historique | Voir | Annoter | Télécharger (175 octet)
\section{Further results}
\subsection{Equational theories}
\todo{Mention PVBC}
\subsection{Modal and second order theories}
\todo{Mention links with ramification/sortedness}