Abadi, M., & Halpern, J. Y. (1991). Decidability and expressiveness for first-order logics of probability.
Chicago Style (17th ed.) CitationAbadi, Martín, and Joseph Y. Halpern. Decidability and Expressiveness for First-order Logics of Probability. Palo Alto, Calif, 1991.
MLA (9th ed.) CitationAbadi, Martín, and Joseph Y. Halpern. Decidability and Expressiveness for First-order Logics of Probability. 1991.
Warning: These citations may not always be 100% accurate.