Tova Milo Victor Vianu Introduction. 245 2005 52 J. ACM 2 http://doi.acm.org/10.1145/1059513.1059518 db/journals/jacm/jacm52.html#MiloV05