Theorembeweisen mit assoziativen Prozessoren. - Dilger, Werner (Univ., Fachbereich Informatik, 1985)