author = { Dilger, Werner AND Schneider, Hans-Albert },

title = { A theorem proving associative processor },

publisher = {Fachbereich Informatik, Univ.},

keywords = { Bericht , Automatisches Beweisverfahren , Assoziativprozessor , Mikroprozessor },

year = {[1985]},

booktitle = {Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern ; 145},

address = { Kaiserslautern },

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