CC 1999Expansion-Based Removal of Semantic Partial RedundanciesJens Knoop, Oliver Rüthing, Bernhard SteffenDOI 10.1007/978-3-540-49051-7_7dblpBibTeXNo abstract available.