@book{ Levesque01-LKB,
  publisher = {MIT Press}
}
,
  title = {The Logic of Knowledge Bases}
}
,
  url = {Levesque01-LKB.pdf}
}
,
  author = {Levesque, Hector J. and Lakemeyer, Gerhard}
}
,
  key = {CogRobo}
}
,
  year = {2001}
}