Adams, A. A., & Dennis, L. A. Rippling in PVS. Presented at Design and Application of Strategies/Tactics in Higher Order Logics (STRATA 2003)