Bläsius, Karl-Hans

2 publications

IJCAI 1983 Equality Reasoning in Clause Graphics Karl-Hans Bläsius

IJCAI 1981 The Markgraf Karl Refutation Procedure Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther