Publikation

Equalizing Terms by Difference Reduction Techniques

Dieter Hutter

In: H. Kirchner; B. Gramlich (Hrsg.). Proceedings Workshop on Strategies in Automated Deduction. International Workshop on Strategies in Automated Deduction (STRATEGIES), Townsville, 1997.

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

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