EasyChair Smart Slide
Proving Consistency using Forward Simulations
Proving Consistency using Forward Simulations