Journal: Inf. Comput.