.

Published in: ACM Trans. Comput. Log. (2015)