The second-order monadic theory of the free inverse monoid is undecidable. (La théorie monadique du second ordre du monoïde inversif libre est indécidable.) Calbrix, Hugues — 1997 Bulletin of the Belgian Mathematical Society - Simon Stevin