Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma 0002, Leendert van der Torre. Algorithms for Basic Compliance Problems. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 2-7, IEEE, 2013. [doi]
Abstract is missing.