Proceedings-Artikel
Using Rippling for Equational Reasoning
Dieter Hutter
In: S. Hölldobler (Hrsg.). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. Dresden, Germany, Pages 121-134, Springer-Verlag, LNAI 1137, 1996.