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