The University of Warwick Library - WebBridge

Re-pairing brackets
Chistikov, Dmitry.  The 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020).    2020-07-08. p. 312 - 326... .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.