ML Anthology
Authors
Search
About
Herold, Alexander
1 publications
IJCAI
1981
The Markgraf Karl Refutation Procedure
Karl-Hans Bläsius
,
Norbert Eisinger
,
Jörg H. Siekmann
,
Gert Smolka
,
Alexander Herold
,
Christoph Walther