Artificial intelligence techniques in Prolog - Shoham, Yoav (Morgan Kaufmann Publishers, 1994)