Semi−Automatic Revision of Formalized Knowledge - Nikitina, N (IOS Press, 2010)