author = { Siekmann, Jörg H. },

title = { Automation of reasoning },

publisher = {Springer},

keywords = { Automatic theorem proving , Logic Data processing , Automatisches Beweisverfahren },

year = {1983-},

booktitle = {Symbolic computation},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }