@inproceedings{CHM05,
author = {M.~Clavel and J.~Hendrix and J.~Meseguer},
booktitle = {Proc. 15th International Conference on Rewriting Techniques and Applications (RTA'05)},
editor = {J. Giesl},
pages = {165--174},
publisher = {Springer},
series = {LNCS},
title = {A {S}ufficient {C}ompleteness {R}easoning {T}ool for {P}artial {S}pecifications},
volume = {3467},
projects = {MERIT},
butype = {inproceedings},
year = {2005}
}