Robustness of Constraint Automata for Description Logics with Concrete Domains.

Stphane Demri, Tianwen Gu

Browse the full CSL paper archive.