Knowledge refinement for a formulation system. - Robin Alexander Bowsell (1998)