Publikation

Equalising Terms by Difference Reduction Techniques

Dieter Hutter

DAI-Research Paper No.845 1997.

http://www.dfki.de/vse/papers/hutter97c.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence