Characterizing NC1 with Typed Monoids. - Anuj Dawar; Aidan T. Evans (CoRR, 2025)