BART: A Tool for Automatic Refinement

@inproceedings{Requet2008BARTAT,
  title={BART: A Tool for Automatic Refinement},
  author={Antoine Requet},
  booktitle={ABZ},
  year={2008}
}