Transformations of Check Constraint PIM Specifications

Nikola Obrenovic, Aleksandar Popovic, Slavica Aleksic, Ivan Lukovic. Transformations of Check Constraint PIM Specifications. Computers and Artificial Intelligence, 31(5):1045-1079, 2012. [doi]

Abstract

Abstract is missing.