Automated synthesis of normative systems (2013)

by J Morales, M Lopez-Sanchez, J A Rodriguez-Aguilar, M Wooldridge, W Vasconcelos
Venue:In AAMAS 2013