Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships.

Jaime Ramrez, Anglica de Antonio

Browse the full SEKE paper archive.