%0 Journal Article %T Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation %A Robaldo,, Livio %A Sun,, Xin %J Journal of Logic and Computation %V 27 %N 8 %@ 0955-792X %D 2017-12-01 %I Oxford University Press %~ DeepDyve