A Theorem proving associative processor - Schneider, Hans-Albert