John Grant, Jack Minker: Logic and Knowledge Bases. Encyclopedia of Knowledge Management 2011: 1022-1033