by 082349872349872 on 12/11/22, 1:19 PM
nice rethink of non-determinism for confluence, excellent (as could be predicted from the author list?) use of literature from the prior century, and ... the cherry on top: includes discussions of attempts that didn't work, and alternatives they believe probably would also work.