Title: KI-96
Subjects: Knowledge representation (Information theory), Congresses, Reasoning, Artificial intelligence, Automatic theorem proving