TY - SER AU - Segal, M, ed. AU - Cai, J-Y, ed. TI - Journal of Computer and System Sciences SN - 0022-0000 PY - 2023/// CY - New York PB - Elsevier KW - Computer ER -