FEICHTINGER DIETER

Method for checking the completeness and consistency of an information library