M.K. Reiter, Carnegie Mellon University