Full version of the paper