Journal: Inf. Process. Lett.