Silvio Micali. Knowledge and Efficient Computation. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 353-362, Morgan Kaufmann, 1986.
@inproceedings{Micali86, title = {Knowledge and Efficient Computation}, author = {Silvio Micali}, year = {1986}, researchr = {https://researchr.org/publication/Micali86}, cites = {0}, citedby = {0}, pages = {353-362}, booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986}, editor = {Joseph Y. Halpern}, publisher = {Morgan Kaufmann}, isbn = {0-934613-04-4}, }