Semantic Search and Query Over SBVR-based Business Rules using SMT based Approach and Information Retrieval Method.

Kritika Anand, Sayandeep Mitra, Pavan Kumar Chittimalli

Browse the full ENASE paper archive.