Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland. Rippling - meta-level guidance for mathematical reasoning. Volume 56 of Cambridge tracts in theoretical computer science, Cambridge University Press, 2005.
No references recorded for this publication.
No citations of this publication recorded.