VIE-KET: Frames + Prolog. - Bernhard Pfahringer; Christian Holzbaur (ÖGAI, 1985)

Realisierung durchgehender Uniformität im Knowledge Engineering Tool VIE-KET. - Christian Holzbaur (Wissensbasierte Systeme, 1987)

Synthesis of Hybrid Languages. - Christian Holzbaur (Appl. Artif. Intell., 1987)

Extending Explanation-Based Generalization by Abstraction Operators. - Igor Mozetic; Christian Holzbaur (EWSL, 1991)

Model-Based Diagnosis with Constraint Logic Programs. - Igor Mozetic; Christian Holzbaur (ÖGAI, 1991)

Integrating Numerical and Qualitative Models within Constraint Logic Programming. - Igor Mozetic; Christian Holzbaur (ISLP, 1991)

Model-Based Analogue Circuit Diagnosis with CLP(R). - Igor Mozetic; Christian Holzbaur; Franc Novak; Marina Santo Zarnik (Wissensbasierte Systeme, 1991)

Metastructures versus Attributed Variables in the Context of Extensible Unification. - Christian Holzbaur (PLILP, 1992)

Controlling the Complexity in Model-Based Diagnosis. - Igor Mozetic; Christian Holzbaur (Ann. Math. Artif. Intell., 1994)

Defeasibility in CLP(Q) through Generalized Slack Variables. - Christian Holzbaur; Francisco Menezes; Pedro Barahona (CP, 1996)

Compiling Constraint Handling Rules into Prolog with Attributed Variables. - Christian Holzbaur; Thom W. Frühwirth (PPDP, 1999)

Guest Editorial. - Christian Holzbaur; Thom W. Frühwirth (Appl. Artif. Intell., 2000)

A PROLOG Constraint Handling Rules Compiler and Runtime System. - Christian Holzbaur; Thom W. Frühwirth (Appl. Artif. Intell., 2000)

Building Constraint Solvers with HAL. - Maria J. García de la Banda; David Jeffery; Kim Marriott; Nicholas Nethercote; Peter J. Stuckey; Christian Holzbaur (ICLP, 2001)

Optimizing Compilation of Constraint Handling Rules. - Christian Holzbaur; Maria J. García de la Banda; David Jeffery; Peter J. Stuckey (ICLP, 2001)

User Profiling for the MELVIL Knowledge Retrieval System. - Johannes Fürnkranz; Christian Holzbaur; Robert Temel (Appl. Artif. Intell., 2002)

Source-to-Source Transformation for a Class of Expressive Rules. - Thom W. Frühwirth; Christian Holzbaur (APPIA-GULP-PRODE, 2003)

Extending arbitrary solvers with constraint handling rules. - Gregory J. Duck; Peter J. Stuckey; Maria J. García de la Banda; Christian Holzbaur (PPDP, 2003)

The Refined Operational Semantics of Constraint Handling Rules. - Gregory J. Duck; Peter J. Stuckey; Maria J. García de la Banda; Christian Holzbaur (ICLP, 2004)

Introduction to the Special Issue on Constraint Handling Rules. - Slim Abdennadher; Thom W. Frühwirth; Christian Holzbaur (Theory Pract. Log. Program., 2005)

Optimizing compilation of constraint handling rules in HAL. - Christian Holzbaur; Maria J. García de la Banda; Peter J. Stuckey; Gregory J. Duck (Theory Pract. Log. Program., 2005)

Evaluation of term utility functions for very short multidocument summaries. - Alexander K. Seewald; Christian Holzbaur; Gerhard Widmer (Appl. Artif. Intell., 2006)