Because of the context freedom of the grammar, any consistent heuristic for inside edge items usable in 1-best A * is also consistent for inside derivation items (and vice versa).
existing kbest extraction methods can efficiently search for top derivations, but only after an exhaustive 1-best pass.