126
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...