Journal: ACM Trans. Comput. Log.