Logic-Based Reasoning Support for SBVR

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2013-848

Related search