Logic programming and knowledge engineering - Amble, Tore (Addison-Wesley, 1987)
Βιβλιογραφία: σσ. 274-278 Περιέχει ασκήσεις