Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Teixeira Santos, Robert Muthuri: Combining Input/Output Logic and Reification for Representing Real-World Obligations. JSAI-isAI Workshops 2015: 217-232