Richard E. Ladner and John H. Reif. The logic of distributed protocols (preliminary report). Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 207–222.
William J. Rapaport · Journal of Symbolic Logic · 1988
Richard E. Ladner and John H. Reif. The logic of distributed protocols (preliminary report). Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 207–222. - Volume 53 Issue 2