Minker J.  2000.  Logic-Based Artificial Intelligence.