Doesn't Zellers' Congruence do the same task? Zellers' has been around since 1883, and has been very widely implemented.