Linear time universal coding of tree sources via FSM closure | IEEE Conference Publication | IEEE Xplore