Alexander Herold
发表
Pascal Van Hentenryck,
Helmut Simonis,
Mehmet Dincbas,
1988,
CADE.
David Chan,
Micha Meier,
Joachim Schimpf,
1989,
IFIP Congress.
Alexander Herold,
Roman Gloeckler,
Paul Johansson,
1998
.
Alexander Herold,
1987
.
Klaus Abraham-Fuchs,
Alexander Herold,
Fritz Breimesser,
1997
.
Hans-Jürgen Bürckert,
Manfred Schmidt-Schauß,
Alexander Herold,
1989,
J. Symb. Comput..
Alexander Herold,
1987,
GWAI.
Alexander Herold,
Roman Gloeckler,
Paul Johansson,
1998
.
Micha Meier,
Alexander Herold,
1995,
CP.
Jörg H. Siekmann,
Alexander Herold,
J. Siekmann,
1987,
Journal of Automated Reasoning.
Thom W. Frühwirth,
Mark Wallace,
Eric Monfroy,
1992,
Logic Programming Summer School.
Thomas Flehmig,
Alexander Herold,
Michael Brüggenbrock,
2007
.
Alexander Herold,
1986,
CADE.
Hans-Jürgen Bürckert,
Alexander Herold,
1986,
Inform. Spektrum.
Alexander Herold,
1982,
GWAI.
Jörg H. Siekmann,
Deepak Kapur,
Mark E. Stickel,
2004,
Journal of Automated Reasoning.