Semantic Verification of Rule-Based Systems with Arithmetic Constraints.

Jaime Ramírez Angélica de Antonio Semantic Verification of Rule-Based Systems with Arithmetic Constraints. 437-446 http://dx.doi.org/10.1007/3-540-44469-6_41 2000 conf/dexa/2000 DEXA db/conf/dexa/dexa2000.html#RamirezA00