Denilson Guimaraes, Eber A. Schmitz, Antonio Juarez Alencar, Priscila Lima, Alexandre L. Correa. A Method for Verifying the Consistency of Business Rules Using Alloy. In Marek Reformat, editor, The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013. pages 381-386, Knowledge Systems Institute Graduate School, 2014.
Abstract is missing.