Automation of reasoning - Siekmann, Jorg; Wrightson, Graham (Berlin ; Heidelberg ; New York : Springer, 1983)