I've always referred to it as "2-lib tactical searching".So, what exactly is wrong with using John's definition, and applying the term "ladder" to it? That seems the most natural thing to call it, and also the most useful definition to attach to the term.