A Set-Theoretic Approach to Bayesian Process Tracing. (August 2019)