Balancing Model Usability and Verifiability with SBVR and Answer Set Programming.

Deepali Kholkar, Dushyanthi Mulpuru, Vinay Kulkarni

Browse the full MODELS paper archive.