Logic-based artificial intelligence - Minker, Jack (Kluwer international series in engineering and computer science, 2000)