A Theorem proving associative processor. - Dilger, Werner (Interner Bericht, 1985)