Formal methods in artificial intelligence. - Delahaye, Jean-Paul; Howlett, J. (North Oxford Academic, 1987)
Prijevod djela: OUTILS LOGIQUES POUR L'INTELLIGENCE ARTIFICIELLE