Second generation expert systems - Simmons, Reid; Krivine, Jean-Paul; David, Jean-Marc (Springer-Verlag, 1993)