Department of Computer Science, University of California, Davis, 1 Shields Avenue, Davis, CA 95616, USA. saul@cs.ucdavis.edu|Department of Computer Science, University of California, Davis, 1 Shields Avenue, Davis, CA 95616, USA. saul@cs.ucdavis.edu