They also used word insertions and deletions for forced decoding, but they used a high penalty for all insertions and deletions.
for each stack, a beam of the best n hypotheses is kept to speed up the decoding process.