(1999, Section 3.9), that suggest that the apparent advantage of Knuth's algorithm does not necessarily lead to significantly lower time costs in practice.
consider deduction systems with items associated with spans like, for example, that in Figure 1, in which the span of the consequent of an inference rule is the concatenation of the spans of the antecedents.