Combining Input/Output Logic and Reification for Representing Real-World Obligations | Publicación