Validation Manager - A Tool for AI Systems' Evaluation by a Turing Test-Like Methodology. - Dirk Salecker; Rainer Knauf (FLAIRS, 1999)

System Refinement in Practice - Using a Formal Method to Modify Real-Life Knowledge. - Rainer Knauf; Ilka Philippow; Avelino J. Gonzalez; Klaus P. Jantke; Dirk Salecker (FLAIRS, 2002)