World | Thu Oct 11, 2012 1:57am EDT

Texas executes man who strangled to death 12-year-old girl