"An Automated Detection of Inconsistencies in SBVR-based Business Rules ..."

Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics