Practical Run-Time Norm Enforcement with Bounded Lookahead. - Alechina, Natasha; Bulling, Nils; Dastani, Mehdi; Logan, Brian (2015)