Verifying Groups in Linear Time. - Shai Evra; Shay Gadot; Ohad Klein; Ilan Komargodski (Electron. Colloquium Comput. Complex., 2023)