The journal paper
<A HREF=abstracts.html#jar95a.bib>A Calculus for and
   Termination of Rippling</A> 
subsumes both the papers <em>A Calculus for Rippling</em>
and <em>Termination Orderings for Rippling</em>.