(Translated by https://www.hiragana.jp/)
[1007.5421] Inference with Constrained Hidden Markov Models in PRISM