Guiding proof search in logical frameworks with rippling - Negrete, Santiagao; Smaill, Alan (University <Edinburgh>, 1995)