Phokion G. Kolaitis, Moshe Y. Vardi. The Decision Problem for the Probabilities of Higher-Order Properties. In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, 25-27 May 1987, New York City, NY, USA. pages 425-435, ACM, 1987.
@inproceedings{KolaitisV87,
title = {The Decision Problem for the Probabilities of Higher-Order Properties},
author = {Phokion G. Kolaitis and Moshe Y. Vardi},
year = {1987},
researchr = {https://researchr.org/publication/KolaitisV87},
cites = {0},
citedby = {0},
pages = {425-435},
booktitle = {Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, 25-27 May 1987, New York City, NY, USA},
publisher = {ACM},
}