@article{TOCS,
author = {Jack Clark and
Manuel Rigger and
John Wickerson and
Alastair F. Donaldson},
title = {Bringing Order to Practical Validation of Database Isolation Levels},
journal = {{ACM} Trans. Comput. Syst.},
year = {2026},
volume = {44},
number = {3},
doi = {10.1145/3797871},
}