Sayandeep Mitra, Kritika Anand, Pavan Kumar Chittimalli. Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2. In Slimane Hammoudi, Michal Smialek, Olivier Camp, Joaquim Filipe, editors, Proceedings of the 20th International Conference on Enterprise Information Systems, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Volume 2. pages 215-222, SciTePress, 2018. [doi]
Abstract is missing.