An optimal-time binarization algorithm for linear context-free rewriting systems with fan-out two | Publicación