John Grant Jack Minker, Logic and Knowledge Bases, Encyclopedia of Knowledge Management, Schwartz, D.G. (Ed.), 2005, 583-590.