Heuristic Refinement of Logic Programs. - Manfred Aben; Maarten van Someren (ECAI, 1990)

Formally specifying reusable knowledge model components. - Manfred Aben (Knowl. Acquis., 1993)

Evaluating a Formal Modelling Language. - Fidel Ruiz; Frank van Harmelen; Manfred Aben; Joke van de Plassche (EKAW, 1994)

A Conceptual and Formal Model of a Diagnostic Reasoner. - V. Richard Benjamins; Manfred Aben (EKAW, 1996)

Evaluating a Formal KBS Specification Language. - Frank van Harmelen; Manfred Aben; Fidel Ruiz; Joke van de Plassche (IEEE Expert, 1996)

Structure-preserving specification languages for knowledge-based systems. - Frank van Harmelen; Manfred Aben (Int. J. Hum. Comput. Stud., 1996)

Structure-preserving knowledge-based system development through reusable libraries: a case study in diagnosis. - V. Richard Benjamins; Manfred Aben (Int. J. Hum. Comput. Stud., 1997)

Applying a library of problem-solving methods on a real-life task. - Piet-Hein Speel; Manfred Aben (Int. J. Hum. Comput. Stud., 1997)

Preserving conceptual structures in design and implementation of industrial KBS. - Piet-Hein Speel; Manfred Aben (Int. J. Hum. Comput. Stud., 1998)