Illustrating Knowledge Base Restructuring and Verification in a Real World Application. - Jan Vanthienen; Ana María Moreno García (EUROVAV, 1999)