B. Mombourquette, C. Muise, and S. McIlraith, “Logical Filtering and Smoothing: State Estimation in Partially Observable Domains”, AAAI, vol. 31, no. 1, Feb. 2017.