Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka. Model checking with probabilistic tabled logic programming. TPLP, 12(4-5):681-700, 2012. [doi]
@article{GorlinRS12, title = {Model checking with probabilistic tabled logic programming}, author = {Andrey Gorlin and C. R. Ramakrishnan and Scott A. Smolka}, year = {2012}, doi = {10.1017/S1471068412000245}, url = {http://dx.doi.org/10.1017/S1471068412000245}, researchr = {https://researchr.org/publication/GorlinRS12}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {12}, number = {4-5}, pages = {681-700}, }