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 a Class of Equational Theories. - Alexander Herold (GWAI, 1982)

Combination of Unification Algorithms. - Alexander Herold (CADE, 1986)

Unifikation - Das aktuelle Schlagwort. - Hans-Jürgen Bürckert; Alexander Herold (Inform. Spektrum, 1986)

Narrowing Techniques Applied to Idempotent Unification. - Alexander Herold (GWAI, 1987)

On Equational Theories, Unification and Decidability. - Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß (RTA, 1987)

Unification in Abelian Semigroups. - Alexander Herold; Jörg H. Siekmann (J. Autom. Reason., 1987)

Combination of unification algorithms in equational theories. - Alexander Herold (1987)

The CHIP System: Constraint Handling In Prolog. - Mehmet Dincbas; Pascal Van Hentenryck; Helmut Simonis; Abderrahmane Aggoun; Alexander Herold (CADE, 1988)

Opening the AC-Unification Race. - Hans-Jürgen Bürckert; Alexander Herold; Deepak Kapur; Jörg H. Siekmann; Mark E. Stickel; Michael Tepp; Hantao Zhang 001 (J. Autom. Reason., 1988)

SEPIA - An Extendible Prolog System. - Micha Meier; Abderrahmane Aggoun; David Chan; Pierre Dufresne; Reinhard Enders; Dominique Henry de Villeneuve; Alexander Herold; Philip Kay; Bruno Perez; Emmanuel van Rossum; Joachim Schimpf (IFIP Congress, 1989)

On Equational Theories, Unification, and (Un)Decidability. - Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß (J. Symb. Comput., 1989)

Contraint Logic Programming - An Informal Introduction. - Thom W. Frühwirth; Alexander Herold; Volker Küchenhoff; Thierry Le Provost; Pierre Lim; Éric Monfroy; Mark Wallace 001 (Logic Programming Summer School, 1992)

CLP in ECRC. - Micha Meier; Alexander Herold (CP, 1995)

Improving Vessel Segmentation with Multi-Task Learning and Auxiliary Data Available Only During Model Training. - Daniel Sobotka; Alexander Herold; Matthias Perkonigg; Lucian Beer; Nina Bastati; Alina Sablatnig; Ahmed Ba-Ssalamah; Georg Langs (Comput. Medical Imaging Graph., 2024)