Seol mar théacs é seo: Journal of computer and system sciences.