Computational Aspects of Arity Hierarchies. - Henrik Imhof (CSL, 1996)

Fixed-Point Logics, Generalized Quantifiers, and Oracles. - Henrik Imhof (J. Log. Comput., 1997)

Enhancing Fixed Point Logic with Cardinality Quantifiers. - Lauri Hella; Henrik Imhof (J. Log. Comput., 1998)

Expert System Technology in Aircraft Fleet Management - The Development of SAREX. - Henrik Imhof (XPS, 1999)