REGISTER AUTOMATA WITH EXTREMA CONSTRAINTS, AND AN APPLICATION TO TWO-VARIABLE LOGIC. - TORUŃCZYK, SZYMON; ZEUME, THOMAS (Logical Methods in Computer Science (LMCS), 2022)