Publication Nat. Comput. Sci., in press