Second Generation Expert Systems - David, J-M; Krivine, J-P; Simmons, R (Springer-Verlag, 1993)