Is there a standard or best algorithm to make a given set of strings prefix-free? That is, given a set of strings, throw out all strings that have a (shorter) prefix also in that set.
In case it matters, I'm ultimately gonna implement this in Python 2.7.