Automation of reasoning - Siekmann, Jorg (Springer, 1983)