added ACM-formatted paper