Automation of reasoning2 - Jorg Siekmann,Graham Wrightson