71 Dep't of Just. J. Fed. L. & Prac. 179 (2023) / Department of Justice Journal of Federal Law and Practice, Vol. 71, Issue 2 (August 2023), pp. 179-194
Bulletin of the European Association for Theoretical Computer Science. EATCS (Bull. Eur. Assoc. Theor. Comput. Sci. EATCS) (20150101), No.~116, 220-229. ISSN: 0252-9742 (print).