The Hidden Function Question Revisited. - Arno Schönegge (AMAST, 1997)

Specifying and Verifying Knowledge-Based Systems with KIV. - Dieter Fensel; Arno Schönegge (EUROVAV, 1997)

Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. - Dieter Fensel; Arno Schönegge (ASE, 1997)

Inverse verification of problem-solving methods. - Dieter Fensel; Arno Schönegge (Int. J. Hum. Comput. Stud., 1998)

Spezifizierbarkeit berechenbarer Datentypen. - Arno Schönegge (Shaker, 1998)