@INPROCEEDINGS {10515,
author={D. Basin and C. Caleiro},
doi={},
booktitle={International Conf. on Rewriting Techniques and Applications - RTA},
title={FAST - An efficient decision procedure for  deduction and static equivalence},
year={2011},
month={July},
volume={10},
pages={11-20} 
}