Journal: Theory Comput. Syst.