).

Published in: Theory Comput. Syst. (2009)