Propagating Updates in Real-Time Search: FALCONS(k) | Publicación