Towards a redundancy elimination algorithm for underspecified descriptions

Leonardo Lesmo, Livio Robaldo, Jelle Gerbrandy