Automation of reasopning - Siekmann J; Wrightson G (Berlin Springer-Verlag, 1983)