Semantic Verification of Rule-Based Systems with Arithmetic Constraints.

Jaime Ramrez, Anglica de Antonio

Browse the full DEXA paper archive.