Using Rippling for Equational Reasoning (1996)

by Dieter Hutter
Venue:In Proceedings 20th German Annual Conference on Artificial Intelligence KI-96