Antoine Requet: BART: A Tool for Automatic Refinement. ABZ 2008: 345