@book{ Reiter01-Book,
  publisher = {MIT Press}
}
,
  title = {Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems}
}
,
  url = {http://www.cs.toronto.edu/cogrobo/kia/index.html}
}
,
  author = {Reiter, Raymond}
}
,
  key = {CogRobo}
}
,
  year = {2001}
}