Towards heterogeneous multimedia information systems: The garlic approachM. CareyL. Haaset al.1995RIDE-DOM 1995
What is an inference rule?Ronald FaginJoseph Y. Halpernet al.1990Jerusalem Conference on Information Technology 1990
Reachability is harder for directed than for undirected finite graphsMiklos AjtaiRonald Fagin1987FOCS 1987
I'M OK IF YOU'RE OK: ON THE NOTION OF TRUSTING COMMUNICATION.Ronald FaginJoseph Y. Halpern1986LICS 1986