accepted for publication in CMP