CS 394C September 16, 2013 Tandy Warnow Department of Computer Sciences University of Texas at Austin.