Worlds of Events: Deduction with Partial Knowledge about Causality.
['Seyed Hossein Haeri', 'Peter Van Roy', 'Carlos Baquero', 'Christopher Meiklejohn']
Worlds of Events: Deduction with Partial Knowledge about Causality.