@ARTICLE {9950,
author={P. Mateus and M.  Biscaia and D. Henriques},
doi={10.1145/2666772},
journal={ACM Transactions on Computational Logic},
title={Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains},
year={2014},
month={December},
volume={16},
number={1},
pages={4-4},
ISSN={1529-3785}
}