A PROFINITE APPROACH TO STABLE PAIRS
Karsten Henckell, John Rhodes, Benjamin Steinberg · International Journal of Algebra and Computation · 2010
We give a short proof, using profinite techniques, that idempotent pointlikes, stable pairs and triples are decidable for the pseudovariety of aperiodic monoids. Stable pairs are also described for the pseudovariety of all finite monoids.