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