Publication

Using Rippling for Equational Reasoning

Dieter Hutter

In: S. Hölldobler (editor). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. German Conference on Artificial Intelligence (KI-96) September 17-19 Dresden Germany Pages 121-134 Lecture Notes in Artificial Intelligence (LNAI) 1137 Springer 1996.

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

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