Cristea, Dan, 1. Romanian Academy - the Iasi branch, Institute for Theoretical Computer Science 2, T. Codrescu St., 700481 IaÅŸi, Romania and 2. Alexandru Ioan Cuza University of IaÅŸi, Faculty of Computer Science 16, General Berthelot St., 700483 IaÅŸi, Romania, Romania