Automation of reasoning - Siekmann, Jorg; Wrightson, Graham (Springer, 1983)