Identity testing for radical expressions - Balaji, N; Nosan, K; Shirmohammadi, M; Worrell, J (Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022)