Siekmann, Jörg H.

3 publications

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

IJCAI 1981 Universal Unification and Regular Equational ACFM Theories Jörg H. Siekmann, Peter Szabó

IJCAI 1977 Unification of Idempotent Functions Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann