Publikation Equalising Terms by Difference Reduction Techniques Dieter Hutter DAI-Research Paper, Vol. No.845, 1997. http://www.dfki.de/vse/papers/hutter97c.ps.gz (gz, 56 KB ) BibTeX Export Equalising Terms by Difference Reduction Techniques@techreport{pub1595, author = { Hutter, Dieter }, title = {Equalising Terms by Difference Reduction Techniques}, year = {1997}, volume = {No.845} }