An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic.

Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik

Browse the full PADL paper archive.