Stephen L. Bloom Douglas R. Troeger A Logical Characterization of Observation Equivalence. 43-53 1985 35 Theor. Comput. Sci. db/journals/tcs/tcs35.html#BloomT85