Generating plans from proofs, 2016, via WWW, Mar. 21, 2016: PDF title page (Michael Benedikt, Oxford University) p. 179 (Professor of Computer Science at Oxford University; came to Oxford after a decade in U.S. industrial research laboratories, including positions as Distinguished Member of Technical Staff at Bell Laboratories and visiting researcher at Yahoo! Labs)

OCLC, Mar. 21, 2016 (access points: Benedikt, Michael A.; Benedikt, Michael Abraham; Benedikt, Michael; usage: Michael A. Benedikt; Michael Benedikt)