US | Thu Jan 9, 2014 8:15pm EST

Oklahoma executes man who killed store manager in robbery