Journal: J. Comput. Syst. Sci.