Copyright is held by the author/owner(s).
ISSAC’11, June 8–11, 2011, San Jose, California, USA.
ACM 978-1-4503-0675-1/11/06.