Logic Program Synthesis as Problem Reduction Using Combining Forms. - Andreas Hamfelt; Jørgen Fischer Nilsson; Nikolaj Oldager (Autom. Softw. Eng., 2001)

Algebraic Lattices and Description Logics. - Nikolaj Oldager (Description Logics, 2002)

Intensional Formalization of Conceptual Structures. - Nikolaj Oldager (ICCS, 2003)