Second Generation Expert Systems With 212 Figures and 12 Tables - David, Jean-Marc; Krivine, Jean-Paul; Simmons, Reid (Springer, 1993)