Bericht

Equalising Terms by Difference Reduction Techniques

Dieter Hutter
DAI-Research Paper, Vol. No.845, 1997.

Weitere Links

BibTeX

http://www.dfki.de/vse/papers/hutter97c.ps.gz