Canonicalization vs. Enumeration
The use of a backtracking search procedure can be used to enumerate all possible tautomeric forms by failing at each leaf.
The same algorithm can be used to generate a single unique tautomeric form, as the first tautomer generated is the same for all equivalent molecules.